mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

Removed debug code from write_smt2

Browse source
This commit is contained in:
Clifford Wolf 2015-06-14 16:22:06 +02:00
parent 66910e15b2
commit 93685a77c6
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
backends/smt2/smt2.cc
View file

@ -440,8 +440,6 @@ struct Smt2Worker
decls.push_back(stringf("(declare-fun |%s#%d#0| (|%s_s|) (Array (_ BitVec %d) (_ BitVec %d))) ; %s\n", decls.push_back(stringf("(declare-fun |%s#%d#0| (|%s_s|) (Array (_ BitVec %d) (_ BitVec %d))) ; %s\n",
log_id(module), arrayid, log_id(module), abits, width, log_id(cell))); log_id(module), arrayid, log_id(module), abits, width, log_id(cell)));
log_cell(cell);
for (int i = 0; i < rd_ports; i++) for (int i = 0; i < rd_ports; i++)
{ {
std::string addr = get_bv(cell->getPort("\\RD_ADDR").extract(abits*i, abits)); std::string addr = get_bv(cell->getPort("\\RD_ADDR").extract(abits*i, abits));