diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-09 14:33:35 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-09 16:31:11 -0400 |
| commit | 588468e4800d790aecd35725c123d21f3e7a86ae (patch) | |
| tree | 3732e3bb7a6d7a8cad818651b3b18a15a55256ff /test/regress | |
| parent | 85377f73a331b334437aa0d50d15c81e905869c1 (diff) | |
Changing the integer normal form to increase matching.
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/arith/integers/Makefile.am | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am index efd5aa909..c555ba413 100644 --- a/test/regress/regress0/arith/integers/Makefile.am +++ b/test/regress/regress0/arith/integers/Makefile.am @@ -20,9 +20,9 @@ MAKEFLAGS = -k TESTS = \ arith-int-004.cvc \ - arith-int-007.cvc \ arith-int-011.cvc \ arith-int-012.cvc \ + arith-int-013.cvc \ arith-int-022.cvc \ arith-int-024.cvc \ arith-int-042.cvc \ @@ -34,7 +34,7 @@ TESTS = \ arith-int-097.cvc \ arith-int-085.cvc -EXTRA_DIST = $(TESTS) +EXTRA_DIST = $(TESTS) \ arith-int-001.cvc \ arith-int-002.cvc \ arith-int-003.cvc \ @@ -105,7 +105,6 @@ EXTRA_DIST = $(TESTS) arith-int-079.cvc \ arith-int-080.cvc \ arith-int-081.cvc \ - arith-int-082.cvc \ arith-int-083.cvc \ arith-int-086.cvc \ arith-int-087.cvc \ @@ -122,9 +121,11 @@ EXTRA_DIST = $(TESTS) arith-int-099.cvc \ arith-int-100.cvc + FAILING_TESTS = \ - arith-int-024.cvc \ - arith-int-013.cvc + arith-int-007.cvc \ + arith-int-082.cvc \ + arith-int-098.cvc #if CVC4_BUILD_PROFILE_COMPETITION #else |