diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-11-14 11:57:53 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-11-14 11:57:53 +0100 |
| commit | f453f579bff2c6c64357c6482ad132f84f715fff (patch) | |
| tree | 2b393a693d327e7efcaa95fae734a5b2ff2e1979 | |
| parent | ab0fb19cfff7760bfd69b49ed6d81a823be2a6ba (diff) | |
| parent | cd44826d5026316d9b44ae33c1fcf0d8faf550c4 (diff) | |
| download | yosys-f453f579bff2c6c64357c6482ad132f84f715fff.tar.gz yosys-f453f579bff2c6c64357c6482ad132f84f715fff.tar.bz2 yosys-f453f579bff2c6c64357c6482ad132f84f715fff.zip | |
Merge branch 'makaimann-label-bads-btor'
| -rw-r--r-- | backends/btor/btor.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 9e316a055..c1da4b127 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1070,7 +1070,12 @@ 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 = 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()); } btorf_pop(log_id(cell)); |