recursive check
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 28 Jan 2022 12:24:38 +0000 (13:24 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 28 Jan 2022 12:24:38 +0000 (13:24 +0100)
commit81b76155d63919bed356876616b5d12a85d805dd
tree4f462c862838f1d76a08dd21ec3a1c3ad67a5bba
parenta8d03df173021ea6fa6258c207c7dc30449af455
recursive check
passes/sat/sim.cc