Debug,manjaro (May 23, 2024, 2:31:46 PM)

Started by upstream project SimGrid build number 9541
originally caused by:

• Triggered by GitLab Webhook

• refs/remotes/origin/master

1. Move code outside of the header file (details)
2. Add debug info to DPOR algorithm (details)
3. Add boolean information about correction of the state (details)
4. Add pretty printer for ODPOR executions (details)
5. Add a critical transition explorer to the SimGrid MC (details)
6. Add the possibility to deactivate critical transition finder (details)
7. Set verbosity down when looking for critical transition (details)
8. Set deadlock test verbosity to low while looking for Gamma (details)
9. Enhance logging of critical exploration (details)
10. Revalidate tesh with critical transition exploration (details)
11. Add critical transition files (details)
12. Fix missing files after last MC update (details)