Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86a552c) | patch
Add first tests for "happens-before"
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 4 May 2023 07:33:25 +0000 (09:33 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 12 May 2023 13:58:22 +0000 (15:58 +0200)
commit7375674952af9a3836b0d7692a1a0894f758baab
tree5d31c4b0f9d6e0d968d84bc9362d855861c94373tree | snapshot
parent86a552c797938ffe6db296e12b7043c3c7fdf14fcommit | diff
Add first tests for "happens-before"

The happens-before relation is used
extensively by SDPOR and ODPOR during
their computations for determining what
executions should be searched next. This
commit introduces the first round of tests
for the happens-before relation on
artificially constructed executions
MANIFEST.in diff | blob | history
src/mc/explo/odpor/Execution.cpp diff | blob | history
src/mc/explo/odpor/Execution_test.cpp [new file with mode: 0644] blob
tools/cmake/Tests.cmake diff | blob | history
Clone of SimGrid repository with local patches