From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 1 May 2019 22:03:31 +0000 (+0200)
Subject: Add missing enable_undef to "sat -tempinduct-def", fixes #883
X-Git-Tag: yosys-0.9~163^2^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=521663f09e8bc22f57a7c03476672b0b9718bc84;p=yosys.git

Add missing enable_undef to "sat -tempinduct-def", fixes #883

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 695a03e15..cbba738f0 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1169,6 +1169,7 @@ struct SatPass : public Pass {
 			if (args[argidx] == "-tempinduct-def") {
 				tempinduct = true;
 				tempinduct_def = true;
+				enable_undef = true;
 				continue;
 			}
 			if (args[argidx] == "-tempinduct-baseonly") {