diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-07-11 18:48:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-07-11 18:48:16 +0000 |
| commit | 4c428c8f74ae913f05287c0595c8887c31089520 (patch) | |
| tree | ab3041c59d6d8700e96c623675a1570208c6374f /test/regress/regress0/arrays/Makefile.am | |
| parent | b16e3a3187ce721e32042f241cc718529cdd0573 (diff) | |
if running in QF_AX, equalities over terms of uninterpreted sort go to arrays, as well as pre-registration of free constants of uninterpreted sort, etc..
Diffstat (limited to 'test/regress/regress0/arrays/Makefile.am')
| -rw-r--r-- | test/regress/regress0/arrays/Makefile.am | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/regress/regress0/arrays/Makefile.am b/test/regress/regress0/arrays/Makefile.am index e3b30827c..b7a60917b 100644 --- a/test/regress/regress0/arrays/Makefile.am +++ b/test/regress/regress0/arrays/Makefile.am @@ -8,9 +8,7 @@ TESTS = \ arrays1.smt2 \ arrays2.smt2 \ arrays3.smt2 \ - arrays4.smt2 - -EXTRA_DIST = $(TESTS) \ + arrays4.smt2 \ incorrect1.smt \ incorrect2.smt \ incorrect2.minimized.smt \ @@ -20,10 +18,13 @@ EXTRA_DIST = $(TESTS) \ incorrect6.smt \ incorrect7.smt \ incorrect8.smt \ + incorrect8.minimized.smt \ incorrect9.smt \ incorrect10.smt \ incorrect11.smt +EXTRA_DIST = $(TESTS) + #if CVC4_BUILD_PROFILE_COMPETITION #else #TESTS += \ |