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	% $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