diff options
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/quantifiers/Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index c478248da..9f4998fd8 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -62,9 +62,7 @@ TESTS = \ EXTRA_DIST = $(TESTS) \ bug291.smt2.expect \ - array-unsat-simp3.smt2.expect \ - ex1.smt2.expect \ - ex7.smt2.expect + array-unsat-simp3.smt2.expect #if CVC4_BUILD_PROFILE_COMPETITION #else |