mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Add an info string symbol for bad states in btor backend

Browse source
This commit is contained in:
Makai Mann 2019-11-11 16:40:51 -08:00
parent 1d148491c5
commit d88cc139a0
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
backends/btor/btor.cc
View file

@ -1070,7 +1070,16 @@ struct BtorWorker
bad_properties.push_back(nid_en_and_not_a); bad_properties.push_back(nid_en_and_not_a);
} else { } else {
int nid = next_nid++; 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)); btorf_pop(log_id(cell));