Updating initial state and checks
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 31 Jan 2022 08:19:34 +0000 (09:19 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 31 Jan 2022 08:19:34 +0000 (09:19 +0100)
commitcbadfa02689ddbd5e9e75324aeb15b2c797d8cc4
tree7ae77841eeeed3d511541addb429d177b4d22048
parent190e44f0dac1a9c7f2dbf0c3069cd1d646806aaa
Updating initial state and checks
passes/sat/sim.cc