Disable non-zero generation enode check

viperproject · Dec 18, 2023 · 9d456cf · 9d456cf
1 parent 0d4c729
commit 9d456cf
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/smt-log-parser/src/parsers/z3/egraph.rs b/smt-log-parser/src/parsers/z3/egraph.rs
@@ -20,11 +20,12 @@ impl EGraph {
         stack: &Stack,
     ) -> ENodeIdx {
         if created_by.is_none() && z3_generation.is_some() {
-            debug_assert_eq!(
-                z3_generation.unwrap(),
-                0,
-                "enode with no creator has non-zero generation"
-            );
+            // TODO: why does this happen sometimes?
+            // debug_assert_eq!(
+            //     z3_generation.unwrap(),
+            //     0,
+            //     "enode with no creator has non-zero generation"
+            // );
         }
         let enode = self.enodes.push_and_get_key(ENode {
             frame: stack.active_frame(),