From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 14 Nov 2019 10:57:38 +0000 (+0100)
Subject: Use cell name for btor bad state props when it is a public name
X-Git-Tag: working-ls180~966^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd44826d5026316d9b44ae33c1fcf0d8faf550c4;p=yosys.git

Use cell name for btor bad state props when it is a public name

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

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 2babd454c..c1da4b127 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -1070,15 +1070,11 @@ struct BtorWorker
 					bad_properties.push_back(nid_en_and_not_a);
 				} else {
 					int nid = next_nid++;
-
-					string infostr =
-						cell->attributes.count("\\src")
-						? cell->attributes.at("\\src")
-						.decode_string()
-						.c_str()
-						: log_id(cell);
-
-					std::replace(infostr.begin(), infostr.end(), ' ', '_');
+					string infostr = log_id(cell);
+					if (infostr[0] == '$' && cell->attributes.count("\\src")) {
+						infostr = cell->attributes.at("\\src").decode_string().c_str();
+						std::replace(infostr.begin(), infostr.end(), ' ', '_');
+					}
 					btorf("%d bad %d %s\n", nid, nid_en_and_not_a, infostr.c_str());
 				}