s_getstarted/text/testing.tex

% $Header:  $
% $Name:  $

\section{Testing}
\label{sect:testing}
\label{www:testing}

A script (\texttt{testreport}) for automated testing is included in
the model within the {\em verification} directory.  While intended
primarily advanced users, the script can be helpful for beginners.

\subsection{Using \texttt{testreport}}

On many systems, the utility can be run with a command as simple as
\begin{verbatim}
% cd verification
% ./testreport -ieee
\end{verbatim}
which will do the following:
\begin{enumerate}
\item Locate all directories within the current directory (which is
  generally {\em verification}) tha
\end{enumerate}

For further \texttt{testreport} details, please see the 


\subsection{Automated testing}

1	edhill	1.1	% $Header: $
2			% $Name: $
3
4			\section{Testing}
5			\label{sect:testing}
6			\label{www:testing}
7
8			A script (\texttt{testreport}) for automated testing is included in
9			the model within the {\em verification} directory. While intended
10			primarily advanced users, the script can be helpful for beginners.
11
12			\subsection{Using \texttt{testreport}}
13
14			On many systems, the utility can be run with a command as simple as
15			\begin{verbatim}
16			% cd verification
17			% ./testreport -ieee
18			\end{verbatim}
19			which will do the following:
20			\begin{enumerate}
21			\item Locate all directories within the current directory (which is
22			generally {\em verification}) tha
23			\end{enumerate}
24
25			For further \texttt{testreport} details, please see the
26
27
28			\subsection{Automated testing}
29