Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aba4495) | patch
Add SDPOR backtracking simulation unit test
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 31 May 2023 13:18:31 +0000 (15:18 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 31 May 2023 13:21:52 +0000 (15:21 +0200)
commit3636f2e00953c2a629d952ddd7a1acd0df3b42ef
tree76ade02ece23c88d96fb98b54e5c51eec0b539edtree | snapshot
parentaba4495e3f8bca80611d2cdc84c3bb75ccd32f74commit | diff
Add SDPOR backtracking simulation unit test

This commit adds a small unit test which
simulates the process of determining which
threads need to be added into the backtrack
set of a given state using SDPOR
src/mc/explo/odpor/Execution_test.cpp diff | blob | history
Clone of SimGrid repository with local patches