unify cycles counting and cleanup
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Feb 2022 09:08:23 +0000 (10:08 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Feb 2022 09:08:23 +0000 (10:08 +0100)
commit169ffcd2fbd037aa1d827515af5a95a28299b832
tree16dbf0c5428686363fbb42bf3b39721faebdf8ba
parent820b2fdd65c4022b555b440beabc65b123421090
unify cycles counting and cleanup
passes/sat/sim.cc