From d3a6f2d75837e71aa41f133008f94f0a01c9902b Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Tue, 20 Feb 2024 13:56:44 +0100
Subject: [PATCH] Emit status db update from aigsmt

---
 sbysrc/sby_engine_aiger.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sbysrc/sby_engine_aiger.py b/sbysrc/sby_engine_aiger.py
index acba3a2..fbdf999 100644
--- a/sbysrc/sby_engine_aiger.py
+++ b/sbysrc/sby_engine_aiger.py
@@ -188,6 +188,7 @@ def aigsmt_trace_callback(task, engine_idx, proc_status, *, run_aigsmt, smtbmc_v
                 cell_name = match[3] or match[2]
                 prop = task.design.hierarchy.find_property_by_cellname(cell_name, trans_dict=smt2_trans)
                 prop.status = "FAIL"
+                task.status_db.set_task_property_status(prop, data=dict(source="aigsmt", engine=f"engine_{engine_idx}"))
                 last_prop.append(prop)
                 return line