expected_trace.txt 302 B

123456789
  1. 1.00 MainApp: exit /state1
  2. 1.00 MainApp: transition (/state1 -> /state1)
  3. 1.00 MainApp: enter /state1
  4. 2.00 MainApp: exit /state1
  5. 2.00 MainApp: transition (/state1 -> /state1)
  6. 2.00 MainApp: enter /state1
  7. 2.00 MainApp: exit /state1
  8. 2.00 MainApp: transition (/state1 -> /state2)
  9. 2.00 MainApp: enter /state2