expected_trace.txt 268 B

1234567
  1. 0.00 MainApp: exit /state1/state12/state12
  2. 0.00 MainApp: exit /state1/state11/state11
  3. 0.00 MainApp: exit /state1/state12
  4. 0.00 MainApp: exit /state1/state11
  5. 0.00 MainApp: exit /state1
  6. 0.00 MainApp: transition (/state1 -> /end_parallel)
  7. 0.00 MainApp: enter /end_parallel