diff options
| author | Makai Mann <makaim@stanford.edu> | 2019-11-11 16:40:51 -0800 |
|---|---|---|
| committer | Makai Mann <makaim@stanford.edu> | 2019-11-11 16:40:51 -0800 |
| commit | d88cc139a029764cf62d95b2eaaff99e270a134a (patch) | |
| tree | d80af0f289c5350a62ea32db34e129af64b2d57e | |
| parent | 1d148491c5a9b816297c08e5ea3a98ff0bd3623d (diff) | |
| download | yosys-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.cc | 11 |
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)); |