Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch
| revision 1.2 by edhill, Thu Jan 29 18:50:45 2004 UTC | revision 1.3 by edhill, Sat Oct 16 03:40:13 2004 UTC | |
|---|---|---|
| # | Line 4 | Line 4 |
| 4 | \section{Testing} | \section{Testing} |
| 5 | \label{sect:testing} | \label{sect:testing} |
| 6 | \label{www:testing} | \label{www:testing} |
| 7 | \begin{rawhtml} | |
| 8 | <!-- CMIREDIR:testing: --> | |
| 9 | \end{rawhtml} | |
| 10 | ||
| 11 | A script (\texttt{testreport}) for automated testing is included in | A script (\texttt{testreport}) for automated testing is included in |
| 12 | the model within the {\em verification} directory. While intended | the model within the {\em verification} directory. While intended |
|
||||||||
| ViewVC Help | |
| Powered by ViewVC 1.1.22 |