Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1dd25c) | patch
Expand sanity-check tests for CommSend/CommRecv transitions
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 17 Apr 2023 09:24:37 +0000 (11:24 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 9 Jun 2023 07:57:38 +0000 (09:57 +0200)
commit8ae5f4cb7292df072ca7df70e5d4ff6791b04cdf
tree5ca8837d8d33fa2c10371bd1651e22a4e7783b36tree | snapshot
parentf1dd25cad1bee0eb04a01e8d94b5776c5e8aeb44commit | diff
Expand sanity-check tests for CommSend/CommRecv transitions

A very, very basic test was added to ensure that
the most trivial program was treated correctly.
More tests will be added which will make for more
interesting scenarios. The difficulty lies with
creating the unfolding itself: there's no better
way than to do so manually and to follow along
with where UDPOR would take us...
src/mc/explo/udpor/ExtensionSetCalculator.cpp diff | blob | history
src/mc/explo/udpor/ExtensionSet_test.cpp diff | blob | history
Clone of SimGrid repository with local patches