diff options
author | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
commit | 67c6e89c904f76a268f9297b7589559a262583e0 (patch) | |
tree | 931766422986af03259c2c3c75221fb61be523e9 /test/regress/regress0/arith/integers | |
parent | 9a0a59d5c85c4a1d2469f43e9d2b433e156810ba (diff) |
Last commit accidentally lacked r2778 and r2779 from integer2. I have manually brought these changes over. Changed the tests used by test/regress/regress0/arith/integers/Makefile.am to be 15 of the more interesting tests. Did a bit of cleanup on TheoryArith to eliminate a warning and remove dead code.
Diffstat (limited to 'test/regress/regress0/arith/integers')
-rw-r--r-- | test/regress/regress0/arith/integers/Makefile.am | 43 |
1 files changed, 22 insertions, 21 deletions
diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am index f6d200f2a..ccfeb51f1 100644 --- a/test/regress/regress0/arith/integers/Makefile.am +++ b/test/regress/regress0/arith/integers/Makefile.am @@ -12,25 +12,8 @@ MAKEFLAGS = -k # If a test shouldn't be run in e.g. competition mode, # put it below in "TESTS +=" TESTS = \ - arith-int-001.cvc \ - arith-int-002.cvc \ - arith-int-003.cvc \ arith-int-004.cvc \ - arith-int-005.cvc \ - arith-int-006.cvc \ arith-int-007.cvc \ - arith-int-008.cvc \ - arith-int-009.cvc \ - arith-int-010.cvc \ - arith-int-011.cvc \ - arith-int-014.cvc \ - arith-int-015.cvc \ - arith-int-016.cvc \ - arith-int-017.cvc \ - arith-int-018.cvc \ - arith-int-019.cvc - -EXTRA_DIST = $(TESTS) \ arith-int-012.cvc \ arith-int-013.cvc \ arith-int-022.cvc \ @@ -39,13 +22,32 @@ EXTRA_DIST = $(TESTS) \ 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-097.cvc + +#failing tests +# arith-int-048.cvc + +EXTRA_DIST = $(TESTS) \ + arith-int-001.cvc \ + arith-int-002.cvc \ + arith-int-003.cvc \ + arith-int-005.cvc \ + arith-int-006.cvc \ + arith-int-008.cvc \ + arith-int-009.cvc \ + arith-int-010.cvc \ + arith-int-011.cvc \ + arith-int-014.cvc \ + arith-int-015.cvc \ + arith-int-016.cvc \ + arith-int-017.cvc \ + arith-int-018.cvc \ + arith-int-019.cvc \ + arith-int-020.cvc \ arith-int-021.cvc \ arith-int-023.cvc \ arith-int-025.cvc \ @@ -115,7 +117,6 @@ EXTRA_DIST = $(TESTS) \ arith-int-098.cvc \ arith-int-099.cvc \ arith-int-100.cvc - #if CVC4_BUILD_PROFILE_COMPETITION #else |