X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a3%2Fcode%2FtestOut.txt;h=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hb=HEAD;hp=45445fafeff0f85ba65ecef219464efb6c216f93;hpb=f87f25c3a2e71e0287490ef7d0adaef92ff58ee0;p=tt2015.git

diff --git a/a3/code/testOut.txt b/a3/code/testOut.txt
index 45445fa..e69de29 100644
--- a/a3/code/testOut.txt
+++ b/a3/code/testOut.txt
@@ -1,18 +0,0 @@
-Issue found! Reporting path 0. Trace:
-SpecificationStates Input -> ObservedOutput
-    1: [Listen] InSYN -> [OutSYN,OutACK]
-    2: [ReceivedSYN] InRST -> []
-    3: [Listen] InACK -> []
-    4: [Listen] InUserData -> []
-    5: [Listen] InRST -> []
-    6: [Listen] InACK -> []
-    7: [Listen] InACK -> []
-    8: [Listen] InFIN -> []
-    9: [Listen] InFIN -> []
-    10: [Listen] InFIN -> []
-    11: [Listen] InSYN -> []
-
-Allowed outputs and target states: [Pt [OutSYN,OutACK] ReceivedSYN]
-Input trace: [InSYN,InRST,InACK,InUserData,InRST,InACK,InACK,InFIN,InFIN,InFIN,InSYN]
-
-Issue found in path 1, 0 paths executed, 0 paths truncated, in total 11 transitions.