fix(stn): Upon cycle detection, we uselessly continued processing whi…

…ch could trigger a pedantic debug assertion
plaans · Nov 23, 2024 · 9b0b626 · 9b0b626
1 parent 4f67677
commit 9b0b626
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/solver/src/reasoners/stn/theory/bound_propagation.rs b/solver/src/reasoners/stn/theory/bound_propagation.rs
@@ -143,6 +143,9 @@ impl Dij {
                 let prez = doms.presence(v);
                 let cause = stn.identity.inference(ModelUpdateCause::CyclicEdgePropagation(pred));
                 doms.set(!prez, cause)?;
+                debug_assert!(doms.present(v) == Some(false),);
+                // the vertex is not present anymore, proceed to next
+                continue;
             }
 
             if let Some(pred) = self.heap.pred.get(v).copied() {