fix: debug check should not check whether watcher exists for deleted …

…nogoods
ConSol-Lab · Nov 25, 2024 · 57c5e7f · 57c5e7f
1 parent 909dba9
commit 57c5e7f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/pumpkin-solver/src/propagators/nogoods/nogood_propagator.rs b/pumpkin-solver/src/propagators/nogoods/nogood_propagator.rs
@@ -1362,6 +1362,15 @@ impl NogoodPropagator {
                 id: nogood.0 as u32,
             };
 
+            if nogood.1.is_deleted {
+                // If the clause is deleted then it will have no watchers
+                assert!(
+                    !is_watching(nogood.1.predicates[0], nogood_id)
+                        && !is_watching(nogood.1.predicates[1], nogood_id)
+                );
+                continue;
+            }
+
             if !(is_watching(nogood.1.predicates[0], nogood_id)
                 && is_watching(nogood.1.predicates[1], nogood_id))
             {