mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

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

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-11-14 11:57:38 +01:00
parent 89834b98f7
commit cd44826d50
1 changed files with 5 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
backends/btor/btor.cc
View file

@ -1070,15 +1070,11 @@ 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++;
string infostr = log_id(cell);
string infostr = if (infostr[0] == '$' && cell->attributes.count("\\src")) {
cell->attributes.count("\\src") infostr = cell->attributes.at("\\src").decode_string().c_str();
? cell->attributes.at("\\src") std::replace(infostr.begin(), infostr.end(), ' ', '_');
.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("%d bad %d %s\n", nid, nid_en_and_not_a, infostr.c_str());
} }