diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-05-02 20:19:55 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-05-02 20:19:55 +0000 |
| commit | 4908a7c71ad38f60828fc4f4ecaa56d216cfdc97 (patch) | |
| tree | fec661b7eaa1eddeba10feb22410b7a5b3a84815 /test/regress/regress0/bv/Makefile.am | |
| parent | 4b95edb13788cfa65415ff0c04e5d2c69d457f82 (diff) | |
adding some previously-failing "bug" test cases for bitvectors
Diffstat (limited to 'test/regress/regress0/bv/Makefile.am')
| -rw-r--r-- | test/regress/regress0/bv/Makefile.am | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/regress/regress0/bv/Makefile.am b/test/regress/regress0/bv/Makefile.am index 493572dc9..4fbf5998b 100644 --- a/test/regress/regress0/bv/Makefile.am +++ b/test/regress/regress0/bv/Makefile.am @@ -17,10 +17,20 @@ SMT2_TESTS = CVC_TESTS = bvsimple.cvc # Regression tests derived from bug reports -BUG_TESTS = +BUG_TESTS = \ + bug260a.smt \ + bug260b.smt TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS) EXTRA_DIST = $(TESTS) \ test00.smt \ bvcomp.cvc + +# synonyms for "check" in this directory +.PHONY: regress regress0 test +regress regress0 test: check + +# do nothing in this subdir +.PHONY: regress1 regress2 regress3 +regress1 regress2 regress3: |