Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9abea51) | patch
Add preliminary basic tests for ex(C) computation
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 17 Apr 2023 08:38:29 +0000 (10:38 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 9 Jun 2023 07:48:40 +0000 (09:48 +0200)
commitf1dd25cad1bee0eb04a01e8d94b5776c5e8aeb44
tree8260b6a5a56f043449f971679770ef41f1c78493tree | snapshot
parent9abea5188b7bc67c822270a2cb300c777d3b2727commit | diff
Add preliminary basic tests for ex(C) computation

Testing the correctness of the computation for
extension sets is critical, as extension sets
guide the entire UDPOR search. Unfortunately it
is also very difficult to create tests for computing
the extension sets...
MANIFEST.in diff | blob | history
src/mc/explo/udpor/EventSet.cpp diff | blob | history
src/mc/explo/udpor/EventSet.hpp diff | blob | history
src/mc/explo/udpor/ExtensionSet_test.cpp [new file with mode: 0644] blob
src/mc/transition/TransitionComm.cpp diff | blob | history
src/mc/transition/TransitionComm.hpp diff | blob | history
tools/cmake/Tests.cmake diff | blob | history
Clone of SimGrid repository with local patches