Support and differentiate between ASCII and binary AIG testing
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 20:41:59 +0000 (12:41 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 20:41:59 +0000 (12:41 -0800)
commit587872236ecd1ca2f2a466bccc8d41618feb0dfb
treebc656d2d5d87cac551e58971ffc6487e07979250
parent391ec75b07cc8c10818884f19329d719847957d3
Support and differentiate between ASCII and binary AIG testing
tests/aiger/run-test.sh
tests/tools/autotest.sh