diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 14:04:02 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 14:04:02 +0100 |
| commit | ebe2ee431eb452e24f833f3bf52a13a8a330a2c3 (patch) | |
| tree | 9a4b708bf06dcbfa50d1129de16161d3102de01b | |
| parent | 357336339a3d7f4100d44c508cd5fe5255b53218 (diff) | |
| download | yosys-ebe2ee431eb452e24f833f3bf52a13a8a330a2c3.tar.gz yosys-ebe2ee431eb452e24f833f3bf52a13a8a330a2c3.tar.bz2 yosys-ebe2ee431eb452e24f833f3bf52a13a8a330a2c3.zip | |
handle state names of $anyconst and $anyseq
| -rw-r--r-- | backends/btor/btor.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index d62cc4c3d..e0283da8a 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -678,7 +678,11 @@ struct BtorWorker int sid = get_bv_sid(GetSize(sig_y)); int nid = next_nid++; - btorf("%d state %d\n", nid, sid); + btorf("%d state %d", nid, sid); + if (sig_y.is_wire() && sig_y.as_wire()->name.c_str()[0]!='$') + btorf(" %s\n", log_id(sig_y.as_wire())); + else + btorf("\n"); if (cell->type == ID($anyconst)) { int nid2 = next_nid++; |