mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-14 21:01:50 +00:00
Code Activity

satgen: cover $input_port

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-02-03 18:00:45 +01:00
parent 8d1c1faf82
commit d199195785
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kernel/satgen.cc
View file

@ -1378,7 +1378,7 @@ bool SatGen::importCell(RTLIL::Cell *cell, int timestep)
return true;
}
if (cell->type == ID($scopeinfo))
if (cell->type == ID($scopeinfo) || cell->type == ID($input_port))
{
return true;
}