expected_trace.txt 201 B

123456
  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 -> /state2)
  6. 0.00 MainApp: enter /state2