Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add test to verify topological ordering of EventSet
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 9 Mar 2023 13:08:27 +0000 (14:08 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 9 Mar 2023 13:08:27 +0000 (14:08 +0100)
commit764829f87878f239dc6173d0201b5249531da2db
treeb5665ff7fc6acebd97b6b63e5119b5b490289e6d
parente0152c6306f9e147f683c4f49a7f57d4be1f871d
Add test to verify topological ordering of EventSet

The topological ordering was moved into EventSet
in a prior commit since it is useful to order
events in an EventSet that reside outside of a
Configuration. This commit adds a stress test
that verifies that the topological orderings
of all possible subsets of a collection of
events obey the topological ordering invariant
after being ordered (in both directions)
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/EventSet_test.cpp
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/Unfolding_test.cpp