From af511945a32cc685074006fb715fc3e123948dc7 Mon Sep 17 00:00:00 2001 From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com> Date: Tue, 8 Jul 2025 17:26:55 +1200 Subject: [PATCH] btor: Add unknown props First during the init, then again at the end. Depth information isn't available, since there may be a pending trace job for that depth which would provide a known status. --- sbysrc/sby_engine_btor.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py index 9ef947e..b938397 100644 --- a/sbysrc/sby_engine_btor.py +++ b/sbysrc/sby_engine_btor.py @@ -91,6 +91,7 @@ def run(mode, task, engine_idx, engine): proc_status = "FAIL" else: task.error(f"engine_{engine_idx}: Engine terminated without status.") + task.update_unknown_props(dict(source="btor", engine=f"engine_{engine_idx}")) else: if common_state.expected_cex == 0: proc_status = "pass" @@ -143,6 +144,7 @@ def run(mode, task, engine_idx, engine): common_state.expected_cex = int(match[1]) if common_state.produced_cex != 0: task.error(f"engine_{engine_idx}: Unexpected engine output (property count).") + task.update_unknown_props(dict(source="btor_init", engine=f"engine_{engine_idx}")) else: task.error(f"engine_{engine_idx}: BTOR solver '{solver_args[0]}' is currently not supported in cover mode.")