Add check to see if scratch is valid/fix bug

neuppl · Oct 23, 2023 · de58801 · de58801
1 parent 417e477
commit de58801
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/src/builder/bdd/robdd.rs b/src/builder/bdd/robdd.rs
@@ -190,10 +190,12 @@ impl<'a, T: IteTable<'a, BddPtr<'a>> + Default> RobddBuilder<'a, T> {
                 match bdd.scratch::<usize>() {
                     None => (),
                     Some(v) => {
-                        return if bdd.is_neg() {
-                            alloc[v].neg()
-                        } else {
-                            alloc[v]
+                        if alloc.len() > v {
+                            return if bdd.is_neg() {
+                                alloc[v].neg()
+                            } else {
+                                alloc[v]
+                            };
                         }
                     }
                 };