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

diff --cc a3/4tests.tex
index def869c,e10cfb8..ace3808
--- 1/a3/4tests.tex
--- 2/a3/4tests.tex
+++ b/a3/4tests.tex
@@@ -21,26 -36,14 +36,13 @@@ defined as one of the final states toge
  When \GAST will end up in this state the SUT is reset and a new path is tried.
  
  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.
+ 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}
- The model in itself was usable in JTorX since the model was written in
- Graphviz' DOT language which is readable by JTorX. JTorX itself generates all
- the testcases and after over $8000$ state changes we stopped the testing. There
- are an infinite number of traces possible because there are several loops in
- the model. The logfile generated by JTorX is $6.7MB$ long and contains indepth
- detail about the trace. 
- 
- \begin{lstlisting}[caption={Last lines of JTorX' log saying the sut has passed}]
- 2015-12-20T21:17:32.370+0100 VERDICT 8500 pass
- 2015-12-20T21:17:32.370+0100 EOT 8500
- 2015-12-20T21:17:32.371+0100 LOG 8500 (tcpclient-label-Adapter) streamreader io exception: Socket closed
- \end{lstlisting}