Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add asserts for Configuration vs EventSet
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 7 Mar 2023 13:05:01 +0000 (14:05 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 7 Mar 2023 13:05:01 +0000 (14:05 +0100)
commitb7f1c354386134784f90d96dab71b2b5a3f45c23
treea7d5286ca61eda4b908a00d62a1891b67d5d87a0
parent617709636478c5de87e1e6064e1093baad86021a
Add asserts for Configuration vs EventSet

This commit adds two asserts to ensure that
traversing a configuration is equivalent to
traversing the events of that configuration.
That is, the assertions check that a configuration
can effectively be treated as a set of events
when it comes to traversal of maximal sets and
computing a topological ordering
src/mc/explo/udpor/Configuration_test.cpp
src/mc/explo/udpor/maximal_subsets_iterator.hpp