expected_trace.txt 100 B

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