Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add complicated topological sort test
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 23 Feb 2023 10:46:10 +0000 (11:46 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 24 Feb 2023 09:00:42 +0000 (10:00 +0100)
commit393a3f69cfa6db66a69e04db6973a3788c616c44
tree59743a36f319bf88909f605c4619061e821d3161
parentb5a4a95b58b13589c25e3cee3b725694437df8a7
Add complicated topological sort test

The test added ensures that for each element
in the sequence of events in the topological
sorting:

1. no event in the history of event `i` appears
in the list of events before event `i` (i.e.
events 0, ..., `i - 1`) in the case of the reverse
graph

2. every event in the history of event `i` (except
`e` itself) appears in the list of events before
`i` (i.e. events 0, ..., `i - 1`) in the case of
the event structure ordering
src/mc/explo/udpor/Configuration_test.cpp