repositories
/
tt2015.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
63ae279
)
with gast output
author
charlie
<charlie.gerhardus@student.ru.nl>
Mon, 21 Dec 2015 11:25:42 +0000
(12:25 +0100)
committer
charlie
<charlie.gerhardus@student.ru.nl>
Mon, 21 Dec 2015 11:25:42 +0000
(12:25 +0100)
a3/4tests.tex
patch
|
blob
|
history
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}]
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}
\end{lstlisting}
\subsection{JTorX}