sim: Fix handling of constant-connected cell inputs at startup
authorDavid Shah <dave@ds0.me>
Tue, 21 Apr 2020 07:58:52 +0000 (08:58 +0100)
committerDavid Shah <dave@ds0.me>
Tue, 21 Apr 2020 07:58:52 +0000 (08:58 +0100)
commitabf81c76396d674833d1dce3f3f75a43f76e2a1f
tree8783842cec0215c2d063ef3647273826d05b0905
parentc98cde88427aedacbcaf66d915912377ccb0cb01
sim: Fix handling of constant-connected cell inputs at startup

Signed-off-by: David Shah <dave@ds0.me>
passes/sat/sim.cc
tests/various/sim_const.ys [new file with mode: 0644]