Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add first batch of tests for conflict detection among events
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 10 Mar 2023 09:06:33 +0000 (10:06 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 10 Mar 2023 09:06:33 +0000 (10:06 +0100)
commit962c98cbebe50a8957155e65487628369d0f8302
treeb85a05302eb4a99ca4938815912eef7c631a3e44
parent7ed8d36f850b6cd3de330cf031ebc97539e28262
Add first batch of tests for conflict detection among events

Detecting conflicts among a collection of events
is super critical to the proper functioning of
UDPOR (it is primarily used to compute en(C) for
a given configuration). Testing conflicts among
events in an event structure is very important.
Subsequent commits and MRs will continue to add
tests for detecting conflicts among collections
of events.

Detecting immediate conflicts is also critical
when it comes to determining which events UDPOR
decides to keep around after continuing its search.
Immediate conflicts are more subtle and should be
tested with great care.
src/mc/explo/udpor/UnfoldingEvent.cpp
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/UnfoldingEvent_test.cpp