expected_trace.txt 605 B

123456789101112131415161718
  1. 0.00 MainApp: exit /state1
  2. 0.00 MainApp: transition (/state1 -> /state1)
  3. 0.00 MainApp: enter /state1
  4. 0.00 MainApp: exit /state1
  5. 0.00 MainApp: transition (/state1 -> /state1)
  6. 0.00 MainApp: enter /state1
  7. 0.00 MainApp: exit /state1
  8. 0.00 MainApp: transition (/state1 -> /state1)
  9. 0.00 MainApp: enter /state1
  10. 0.00 MainApp: exit /state1
  11. 0.00 MainApp: transition (/state1 -> /state1)
  12. 0.00 MainApp: enter /state1
  13. 0.00 MainApp: exit /state1
  14. 0.00 MainApp: transition (/state1 -> /state1)
  15. 0.00 MainApp: enter /state1
  16. 0.00 MainApp: exit /state1
  17. 0.00 MainApp: transition (/state1 -> /state2)
  18. 0.00 MainApp: enter /state2