equiv_induct: change missing SAT model warning to error

YosysHQ · Mar 6, 2025 · 5eb46f9 · 5eb46f9
1 parent 176131b
commit 5eb46f9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)) {