From 5eb46f95c2387639ad34375c69eecc6cfc530a9b Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Thu, 6 Mar 2025 18:15:52 +0100 Subject: [PATCH] equiv_induct: change missing SAT model warning to error --- passes/equiv/equiv_induct.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/passes/equiv/equiv_induct.cc b/passes/equiv/equiv_induct.cc index 8d882ae83..e456cfe57 100644 --- a/passes/equiv/equiv_induct.cc +++ b/passes/equiv/equiv_induct.cc @@ -56,9 +56,9 @@ struct EquivInductWorker for (auto cell : cells) { if (!satgen.importCell(cell, step) && !cell_warn_cache.count(cell)) { if (RTLIL::builtin_ff_cell_types().count(cell->type)) - log_warning("No SAT model available for async FF cell %s (%s). Consider running `async2sync` or `clk2fflogic` first.\n", log_id(cell), log_id(cell->type)); + log_cmd_error("No SAT model available for async FF cell %s (%s). Consider running `async2sync` or `clk2fflogic` first.\n", log_id(cell), log_id(cell->type)); else - log_warning("No SAT model available for cell %s (%s).\n", log_id(cell), log_id(cell->type)); + log_cmd_error("No SAT model available for cell %s (%s).\n", log_id(cell), log_id(cell->type)); cell_warn_cache.insert(cell); } if (cell->type == ID($equiv)) {