Error checks for aiger witness
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 7 Mar 2022 14:00:14 +0000 (15:00 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 7 Mar 2022 14:00:14 +0000 (15:00 +0100)
commit1b1ecd4ab0c3924d1acbaa0ccc22bd1933cb347c
tree15687dd13061ae6156c63ffb831550acd38c1bd4
parentb6aca1d7435ebd1cb37fe777a8b8d9564b859a50
Error checks for aiger witness
passes/sat/sim.cc