author | Eddie Hung <eddieh@ece.ubc.ca> | |
Fri, 8 Feb 2019 20:41:59 +0000 (12:41 -0800) | ||
committer | Eddie Hung <eddieh@ece.ubc.ca> | |
Fri, 8 Feb 2019 20:41:59 +0000 (12:41 -0800) | ||
commit | 587872236ecd1ca2f2a466bccc8d41618feb0dfb | |
tree | bc656d2d5d87cac551e58971ffc6487e07979250 | tree |
parent | 391ec75b07cc8c10818884f19329d719847957d3 | commit | diff |
tests/aiger/run-test.sh | diff | blob | history | |
tests/tools/autotest.sh | diff | blob | history |