Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add first batch of tests for UDPOR
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 12:38:02 +0000 (13:38 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 12:38:02 +0000 (13:38 +0100)
commit1fc1cd99f7f9f56c732dcaf07d8c9afed2560e85
tree262fd397a9cf099d22406c107dfc753c262b357d
parentedb58d998573dba62c74537dcacce8b4b9a7df80
Add first batch of tests for UDPOR

This commit adds tests for the UDPOR constructs
that will be used when UDPOR is finally implemented.
UDPOR will rely heavily on the correctness of
the methods herein and hereafter (in subsequent
commits) tested, so it is important that each function
be tested to the maximum extent possible
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/EventSet_test.cpp [new file with mode: 0644]
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/UnfoldingEvent_test.cpp [new file with mode: 0644]
src/mc/explo/udpor/Unfolding_test.cpp [new file with mode: 0644]
tools/cmake/Tests.cmake