with gast output

diff --git a/a3/4tests.tex b/a3/4tests.tex
index 126e7d6..def869c 100644 (file)
--- a/a3/4tests.tex
+++ b/a3/4tests.tex
@@ -24,12 +24,11 @@ Because of time constraints we decided to allow \GAST to evaluate $9000$ paths.
 None of the paths where rejected by \GAST. The output generated by \GAST is listed below.
 
 \begin{lstlisting}[caption={Gast commandline output}]
-TODO: gast commandline output
-\end{lstlisting}
-
-
-\begin{lstlisting}[caption={Gast testOut.txt output}]
-TODO: gast testOut.txt copy paste
+Gast starts testing.
+paths: 8999, rejected: 0, truncated: 0...
+End of testing, maximum paths used.
+9000 test paths executed successful, in total 12252 transitions.
+65536
 \end{lstlisting}
 
 \subsection{JTorX}