diff options
Diffstat (limited to 'test/regress/regress1/arith/Makefile.am')
| -rw-r--r-- | test/regress/regress1/arith/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/regress/regress1/arith/Makefile.am b/test/regress/regress1/arith/Makefile.am index 53aff2491..046efe65f 100644 --- a/test/regress/regress1/arith/Makefile.am +++ b/test/regress/regress1/arith/Makefile.am @@ -12,7 +12,9 @@ TESTS = \ pursuit-safety-11.smt \ pursuit-safety-12.smt \ sc-7.base.cvc.smt \ - uart-8.base.cvc.smt + uart-8.base.cvc.smt \ + qlock-4-10-9.base.cvc.smt2 \ + lpsat-goal-9.smt2 EXTRA_DIST = $(TESTS) |