From: charlie <charlie.gerhardus@student.ru.nl>
Date: Mon, 21 Dec 2015 11:25:42 +0000 (+0100)
Subject: with gast output
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=ef041d24fe1362e723ad8d21bae203b4f4c236aa;p=tt2015.git

with gast output
---

diff --git a/a3/4tests.tex b/a3/4tests.tex
index 126e7d6..def869c 100644
--- 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}