diff options
| -rw-r--r-- | test/regress/regress0/arith/integers/Makefile.am | 37 |
1 files changed, 19 insertions, 18 deletions
diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am index 91f4cf758..f6d200f2a 100644 --- a/test/regress/regress0/arith/integers/Makefile.am +++ b/test/regress/regress0/arith/integers/Makefile.am @@ -28,8 +28,24 @@ TESTS = \ arith-int-016.cvc \ arith-int-017.cvc \ arith-int-018.cvc \ - arith-int-019.cvc \ - arith-int-020.cvc \ + arith-int-019.cvc + +EXTRA_DIST = $(TESTS) \ + arith-int-012.cvc \ + arith-int-013.cvc \ + arith-int-022.cvc \ + arith-int-024.cvc \ + arith-int-041.cvc \ + arith-int-042.cvc \ + arith-int-042.min.cvc \ + arith-int-047.cvc \ + arith-int-048.cvc \ + arith-int-050.cvc \ + arith-int-082.cvc \ + arith-int-084.cvc \ + arith-int-085.cvc \ + arith-int-097.cvc \ + arith-int-020.cvc \ arith-int-021.cvc \ arith-int-023.cvc \ arith-int-025.cvc \ @@ -99,22 +115,7 @@ TESTS = \ arith-int-098.cvc \ arith-int-099.cvc \ arith-int-100.cvc - -EXTRA_DIST = $(TESTS) \ - arith-int-012.cvc \ - arith-int-013.cvc \ - arith-int-022.cvc \ - arith-int-024.cvc \ - arith-int-041.cvc \ - arith-int-042.cvc \ - arith-int-042.min.cvc \ - arith-int-047.cvc \ - arith-int-048.cvc \ - arith-int-050.cvc \ - arith-int-082.cvc \ - arith-int-084.cvc \ - arith-int-085.cvc \ - arith-int-097.cvc + #if CVC4_BUILD_PROFILE_COMPETITION #else |