Zachary Snow b6904a8e53 Set aside extraneous tests in simple_abc9 test suite ...

New test cases on one branch may be automatically copied from simple/ to
simple_abc9/, causing failures when switching to another branch. This
updates the simple_abc9 script to set aside extraneous tests in a
non-destructive way.

2021-03-01 12:13:11 -05:00

..

.gitignore

Set aside extraneous tests in simple_abc9 test suite

2021-03-01 12:13:11 -05:00

abc9.box

abc9: test to use box file instead of auto

2020-05-14 10:33:56 -07:00

abc9.v

abc9: test to use box file instead of auto

2020-05-14 10:33:56 -07:00

run-test.sh

Set aside extraneous tests in simple_abc9 test suite

2021-03-01 12:13:11 -05:00