mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

btor: Use is_mem_cell in one more place.

Browse source
This commit is contained in:
Marcelina Kościelnicka 2021-05-23 18:08:34 +02:00
parent d905990d01
commit 33513d923a
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/btor/btor.cc
View file

@ -1083,7 +1083,7 @@ struct BtorWorker
for (auto &mem : memories) for (auto &mem : memories)
mem_dict[mem.memid] = &mem; mem_dict[mem.memid] = &mem;
for (auto cell : module->cells()) for (auto cell : module->cells())
if (cell->type.in(ID($mem), ID($memwr), ID($memrd), ID($meminit))) if (cell->is_mem_cell())
mem_cells[cell] = mem_dict[cell->parameters.at(ID::MEMID).decode_string()]; mem_cells[cell] = mem_dict[cell->parameters.at(ID::MEMID).decode_string()];
btorf_push("inputs"); btorf_push("inputs");