diff options
Diffstat (limited to 'test/regress/regress0/arrays/Makefile.am')
-rw-r--r-- | test/regress/regress0/arrays/Makefile.am | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/test/regress/regress0/arrays/Makefile.am b/test/regress/regress0/arrays/Makefile.am index c11d68780..804987da2 100644 --- a/test/regress/regress0/arrays/Makefile.am +++ b/test/regress/regress0/arrays/Makefile.am @@ -40,11 +40,17 @@ TESTS = \ swap_t1_np_nf_ai_00005_007.cvc.smt \ x2.smt \ x3.smt \ - parsing_ringer.cvc - -EXTRA_DIST = $(TESTS) \ + parsing_ringer.cvc \ bug272.smt \ - bug272.minimized.smt + bug272.minimized.smt \ + constarr.smt2 \ + constarr2.smt2 \ + constarr3.smt2 \ + constarr.cvc \ + constarr2.cvc \ + constarr3.cvc + +EXTRA_DIST = $(TESTS) #if CVC4_BUILD_PROFILE_COMPETITION #else |