aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMakai Mann <makaim@stanford.edu>2019-11-11 16:40:51 -0800
committerMakai Mann <makaim@stanford.edu>2019-11-11 16:40:51 -0800
commitd88cc139a029764cf62d95b2eaaff99e270a134a (patch)
treed80af0f289c5350a62ea32db34e129af64b2d57e
parent1d148491c5a9b816297c08e5ea3a98ff0bd3623d (diff)
downloadyosys-d88cc139a029764cf62d95b2eaaff99e270a134a.tar.gz
yosys-d88cc139a029764cf62d95b2eaaff99e270a134a.tar.bz2
yosys-d88cc139a029764cf62d95b2eaaff99e270a134a.zip
Add an info string symbol for bad states in btor backend
-rw-r--r--backends/btor/btor.cc11
1 files changed, 10 insertions, 1 deletions
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));