From: Makai Mann <makaim@stanford.edu>
Date: Tue, 12 Nov 2019 00:40:51 +0000 (-0800)
Subject: Add an info string symbol for bad states in btor backend
X-Git-Tag: working-ls180~966^2~1^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d88cc139a029764cf62d95b2eaaff99e270a134a;p=yosys.git

Add an info string symbol for bad states in btor backend
---

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