From 2efd0247a10192fb1240c0c7a6778b2979b3377d Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Tue, 3 Feb 2026 18:09:51 +0100 Subject: [PATCH] opt_hier: fix test --- tests/opt/opt_hier.tcl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/opt/opt_hier.tcl b/tests/opt/opt_hier.tcl index 65d8f9809..d006759f5 100644 --- a/tests/opt/opt_hier.tcl +++ b/tests/opt/opt_hier.tcl @@ -27,7 +27,7 @@ foreach fn [glob opt_hier_*.v] { design -copy-from gate -as gate A:top yosys rename -hide equiv_make gold gate equiv - equiv_induct equiv + equiv_induct -ignore-unknown-cells equiv equiv_status -assert equiv log -pop