From ef041d24fe1362e723ad8d21bae203b4f4c236aa Mon Sep 17 00:00:00 2001
From: charlie <charlie.gerhardus@student.ru.nl>
Date: Mon, 21 Dec 2015 12:25:42 +0100
Subject: [PATCH] with gast output

---
 a3/4tests.tex | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

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}
-- 
2.20.1