Replace assert in xaiger with more useful error message
authorDan Ravensloft <dan.ravensloft@gmail.com>
Wed, 10 Mar 2021 19:31:55 +0000 (19:31 +0000)
committerMarcelina Koƛcielnicka <mwk@0x04.net>
Wed, 10 Mar 2021 21:35:06 +0000 (22:35 +0100)
commit83fc5cc28b60367a8cd16fb3d7eddb26db304513
treead5916e564bc4416d3a1ad6b316e977bfcf76751
parent26e01a67db4135196b1d25ed89e9e6ceb536f4e3
Replace assert in xaiger with more useful error message
backends/aiger/xaiger.cc