Set past_d value for init state
authorMiodrag Milanovic <mmicko@gmail.com>
Sat, 2 Apr 2022 08:33:41 +0000 (10:33 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Sat, 2 Apr 2022 17:13:15 +0000 (19:13 +0200)
commitb54aecd80a58dc2a7f5069ee03561d64efdba765
treef044ede9374804a81c1b8fb87abb5329d9c5103b
parent8ca9737180b39011fa75c1d8e34be3100b5b7b41
Set past_d value for init state
passes/sat/sim.cc