riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed -stbv handling in SMT2 back-end

This commit is contained in:
Clifford Wolf 2018-04-04 17:28:07 +02:00
parent 2b00c1dbd6
commit 25a864fc73
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smt2.cc
View File

@ -766,7 +766,7 @@ struct Smt2Worker
if (statebv) if (statebv)
makebits(stringf("%s_h %s", get_id(module), get_id(cell->name)), mod_stbv_width.at(cell->type)); makebits(stringf("%s_h %s", get_id(module), get_id(cell->name)), mod_stbv_width.at(cell->type));
if (statedt) else if (statedt)
dtmembers.push_back(stringf(" (|%s_h %s| |%s_s|)\n", dtmembers.push_back(stringf(" (|%s_h %s| |%s_s|)\n",
get_id(module), get_id(cell->name), get_id(cell->type))); get_id(module), get_id(cell->name), get_id(cell->type)));
else else