clean tcp shizzle werkt nu, heeft aangepaste versie van gast nodig!

[tt2015.git] / a3 / code / testOut.txt

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