Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40dcb0c) | patch
Require conflict-freedom in is_valid_configuration
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 9 Mar 2023 14:19:07 +0000 (15:19 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 9 Mar 2023 14:19:07 +0000 (15:19 +0100)
commit07f7802b2f1a6cfdf60cbd4b7155a55e10e4399a
treeba925fcaa2e16d97116045410732f392cd301449tree | snapshot
parent40dcb0c263f765da65df1b58972d99eae54d7e4acommit | diff
Require conflict-freedom in is_valid_configuration

The method `EventSet::is_valid_configuration()`
was missing the condition that the set of events
need also be free of conflicts (in addition to
being causally closed)
src/mc/explo/udpor/EventSet.cpp diff | blob | history
src/mc/explo/udpor/EventSet_test.cpp diff | blob | history
Clone of SimGrid repository with local patches