Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add preliminary tests for checking event conflicts
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 8 Mar 2023 10:18:50 +0000 (11:18 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 8 Mar 2023 10:18:50 +0000 (11:18 +0100)
commite38c46670951ceabb09293dcdc3bd6320f63769b
treed77a072d27ee58e1db2817d80bcaa0060ddddd66
parentdbbec1b6c52dca870aae22b10d0a5869838bf360
Add preliminary tests for checking event conflicts
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/EventSet_test.cpp
src/mc/explo/udpor/UnfoldingEvent.cpp
src/xbt/utils/iter/variable_for_loop.hpp