expected_trace.txt 385 B

123456789101112
  1. 0.00 MainApp: exit /state1
  2. 0.00 MainApp: transition (/state1 -> /state2)
  3. 0.00 MainApp: enter /state2
  4. 0.00 MainApp: exit /state2
  5. 0.00 MainApp: transition (/state2 -> /state2)
  6. 0.00 MainApp: enter /state2
  7. 1.00 A: exit /state1
  8. 1.00 A: transition (/state1 -> /state2)
  9. 1.00 A: enter /state2
  10. 1.00 MainApp: exit /state2
  11. 1.00 MainApp: transition (/state2 -> /state3)
  12. 1.00 MainApp: enter /state3