Merge branch 'master' of https://github.com/dopefishh/tt2015

diff --git a/a3/4tests.tex b/a3/4tests.tex
index e10cfb8..ace3808 100644 (file)
--- a/a3/4tests.tex
+++ b/a3/4tests.tex
@@ -40,10 +40,9 @@ 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}