Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 7 days ago
Took 1 hr 51 min on debian-testing-2
Success

#2954 (Apr 11, 2024, 3:59:45 AM)

Started by upstream project SimGrid-DynamicAnalysis-Valgrind build number 2954
originally caused by:

Revision: 549383815d5d377c8dde75df54179d846a751abd
Repository: https://framagit.org/simgrid/simgrid.git
  • refs/remotes/origin/master
SCM: git https://framagit.org/simgrid/simgrid.git
  • Commits since last build: 11
  • Latest commit: 5493838
Test Result (14 failures / +4)Show all failed tests >>>
Changes
  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)
  12. Revalidate MC tesh files (details)
  13. use intrusive_ptr instead of std::shared_ptr around mc::State (details)
  14. Reduce the amount of dupplicated code between the constructors of mc::State (details)
  15. One constructor less in mc::WutState (and one ugly trick less) (details)
  16. Fix some sonar warnings and errors (details)