diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-11-14 11:57:38 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-11-14 11:57:38 +0100 |
commit | cd44826d5026316d9b44ae33c1fcf0d8faf550c4 (patch) | |
tree | 2b393a693d327e7efcaa95fae734a5b2ff2e1979 | |
parent | 89834b98f7715b131193f8283f09d665b9290eff (diff) | |
download | yosys-cd44826d5026316d9b44ae33c1fcf0d8faf550c4.tar.gz yosys-cd44826d5026316d9b44ae33c1fcf0d8faf550c4.tar.bz2 yosys-cd44826d5026316d9b44ae33c1fcf0d8faf550c4.zip |
Use cell name for btor bad state props when it is a public name
Signed-off-by: Clifford Wolf <clifford@clifford.at>
-rw-r--r-- | backends/btor/btor.cc | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 2babd454c..c1da4b127 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1070,15 +1070,11 @@ struct BtorWorker bad_properties.push_back(nid_en_and_not_a); } else { int nid = next_nid++; - - string infostr = - cell->attributes.count("\\src") - ? cell->attributes.at("\\src") - .decode_string() - .c_str() - : log_id(cell); - - std::replace(infostr.begin(), infostr.end(), ' ', '_'); + string infostr = log_id(cell); + if (infostr[0] == '$' && cell->attributes.count("\\src")) { + infostr = cell->attributes.at("\\src").decode_string().c_str(); + std::replace(infostr.begin(), infostr.end(), ' ', '_'); + } btorf("%d bad %d %s\n", nid, nid_en_and_not_a, infostr.c_str()); } |