a3/code/testOut.txt

   1 Issue found! Reporting path 0. Trace:
   2 SpecificationStates Input -> ObservedOutput
   3     1: [Listen] InSYN -> [OutSYN,OutACK]
   4     2: [ReceivedSYN] InRST -> []
   5     3: [Listen] InACK -> []
   6     4: [Listen] InUserData -> []
   7     5: [Listen] InRST -> []
   8     6: [Listen] InACK -> []
   9     7: [Listen] InACK -> []
  10     8: [Listen] InFIN -> []
  11     9: [Listen] InFIN -> []
  12     10: [Listen] InFIN -> []
  13     11: [Listen] InSYN -> []
  14
  15 Allowed outputs and target states: [Pt [OutSYN,OutACK] ReceivedSYN]
  16 Input trace: [InSYN,InRST,InACK,InUserData,InRST,InACK,InACK,InFIN,InFIN,InFIN,InSYN]
  17
  18 Issue found in path 1, 0 paths executed, 0 paths truncated, in total 11 transitions.