diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-02-07 16:20:52 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-02-07 16:20:52 +0000 |
| commit | 0647474e9b8ab6b147551e52cb7d497a80b37a13 (patch) | |
| tree | afbc81a61c92cb96e9e44351db07668fc73a7025 /test/regress/regress0/arith | |
| parent | 69f9580ef8bb66e786bc9fada2c094c5f6f16f6a (diff) | |
removing the 100 integer benchmarks from regress0, too many
Diffstat (limited to 'test/regress/regress0/arith')
| -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 |