Check analysis time

viperproject · Oct 30, 2024 · 7ea49b3 · 7ea49b3
1 parent ad28a48
commit 7ea49b3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/smt-log-parser/tests/parse_logs.rs b/smt-log-parser/tests/parse_logs.rs
@@ -107,6 +107,7 @@ fn parse_all_logs() {
                 ALLOCATOR.allocated() / mb as usize,
                 ALLOCATOR.limit() / mb as usize,
             );
+            assert!(elapsed < timeout, "Analysis took longer than timeout");
             inst_graph.mem_dbg(DbgFlags::default()).ok();
             println!();
             println!("===");