gast-test/testOut.txt

   1 Issue found! Reporting path 0. Trace:
   2 SpecificationStates Input -> ObservedOutput
   3     1: [S0] Button -> []
   4     2: [S0] Coin -> []
   5     3: [S1] Button -> [Tea]
   6     4: [S0] Coin -> []
   7     5: [S1] Button -> [Tea]
   8     6: [S0] Coin -> []
   9     7: [S1] Coin -> []
  10     8: [S2] Coin -> []
  11     9: [S2] Button -> []
  12
  13 Allowed outputs and target states: [Pt [Coffee] S0]
  14 Input trace: [Button,Coin,Button,Coin,Button,Coin,Coin,Coin,Button]
  15
  16 Issue found in path 1, 0 paths executed, 0 paths truncated, in total 9 transitions.