mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Hotfix in AIGER witness reader state machine

Browse source 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
This commit is contained in:
Claire Xenia Wolf 2022-02-28 10:41:44 +01:00
parent 9571acc0bf
commit 1fd3a642c9
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/sim.cc
View file

@ -1225,6 +1225,7 @@ struct SimWorker : SimShared
case 2:
write_output_header();
top->setState(latches, line);
state = 3;
break;
default:
if (cycle) {