Build #9514 (Apr 10, 2024, 4:29:20 PM)

1. Add options for a new MC guiding strategy based on actor switch (details)
2. Add MC min context switch strategy (details)
3. Now we have replay from fork, fix MC BFS exploration (details)
4. Use a config to switch between MC full BFS or DFS-like (details)
5. Add a few parameters to sleep state to support BFS ODPOR (details)
6. Add ressource to work with ODPOR in BFS order (details)
7. Revert a small ODPOR optimisation that is not always correct (details)
8. Speak about explored traces rather than backtracks (details)
9. Add ODPOR reduction and support for its BFS version (details)
10. Remove unecessary debug information: too much is too much (details)
11. Fix dependencies (details)

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

• Triggered by GitLab Webhook

• refs/remotes/origin/master