Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix WakeupTreeIterator bug comparing diff iterators
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 16 Jun 2023 13:25:01 +0000 (15:25 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 16 Jun 2023 13:31:30 +0000 (15:31 +0200)
commit5d24324f82d530476b066cd2bd5fbe04387fab6f
tree6ca9a4ef57e0eedf92859f2ba023511a3ee27ef4
parentb6e1774e298e65b34ede8b3d193b381bc9a06fe1
Fix WakeupTreeIterator bug comparing diff iterators

Prior to this commit, the WakeupTreeIterator
compared iterators stemming from different
collections. This isn't defined behavior though :/.

The goal was to determine if a node should add its
children again when moving to the next node in the
iteration. Instead it suffices to keep track of which
nodes have already added their children after adding
them to the ordering.
src/mc/explo/odpor/WakeupTreeIterator.cpp
src/mc/explo/odpor/WakeupTreeIterator.hpp