From 7ea49b30c01415df68cf54869035d5289fa9dd6e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Wed, 30 Oct 2024 17:49:52 +0100
Subject: [PATCH] Check analysis time

---
 smt-log-parser/tests/parse_logs.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/smt-log-parser/tests/parse_logs.rs b/smt-log-parser/tests/parse_logs.rs
index efff1732..a2d72320 100644
--- 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!("===");