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