github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-03 21:33:32 +00:00
Code Issues Releases Wiki Activity

fix crash when no fst input

Browse Source
This commit is contained in:
Miodrag Milanovic
2022-05-04 11:21:39 +02:00
parent ad48639cdd
commit 8e02b3ca30
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
passes/sat/sim.cc
View File

@@ -246,7 +246,8 @@ struct SimInstance
{
std::string name = cell->parameters.at(ID::MEMID).decode_string();
mem_cells[cell] = name;
fst_memories[name] = shared->fst->getMemoryHandles(scope + "." + RTLIL::unescape_id(name));
if (shared->fst)
fst_memories[name] = shared->fst->getMemoryHandles(scope + "." + RTLIL::unescape_id(name));
}
if (cell->type.in(ID($assert), ID($cover), ID($assume))) {
formal_database.insert(cell);