expected_trace.txt 100 B

123
  1. 0.00 MainApp: exit /state1
  2. 0.00 MainApp: transition (/state1 -> /state2)
  3. 0.00 MainApp: enter /state2