Check that the matches len is correct

viperproject · Dec 18, 2024 · 845c28b · 845c28b
1 parent 712bc63
commit 845c28b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/smt-log-parser/src/parsers/z3/z3parser.rs b/smt-log-parser/src/parsers/z3/z3parser.rs
@@ -727,6 +727,10 @@ impl Z3LogParser for Z3Parser {
             blamed: blamed.into(),
             frame: self.stack.active_frame(),
         };
+        debug_assert_eq!(
+            self[pattern].child_ids.len(),
+            match_.trigger_matches().count()
+        );
         self.insts.new_match(fingerprint, match_)?;
         Ok(())
     }