Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add first unit tests for topological sorting
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 23 Feb 2023 10:17:27 +0000 (11:17 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 24 Feb 2023 09:00:42 +0000 (10:00 +0100)
commitb5a4a95b58b13589c25e3cee3b725694437df8a7
treeee52696a1b1505d5aa86f134d850223ef35ab5ba
parentb01dcb515d442ab87577ef052c3dcaec50a0a65f
Add first unit tests for topological sorting

A few unit tests were added to support topological
sorting of events in a configuration. In the future,
a more robust test will be added which ensures that each
newly-discovered event in the reverse order has never
been discovered before
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Configuration.hpp
src/mc/explo/udpor/Configuration_test.cpp