diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-01-29 00:07:52 -0600 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-01-29 00:07:52 -0600 |
| commit | 82058d4af2f41f9236433294cd092dd5e2a2c1b9 (patch) | |
| tree | 4f922cfcccdd9bef3d482e0f044e6bdf6258b601 /test | |
| parent | 610c3e111c4bca484d94e21df46a35c55fdd6882 (diff) | |
currently disabling bug486 regression. we need to discuss getValue/collectModelInfo for quantifiers more.
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index b81bcf799..938e7e5c1 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -143,8 +143,8 @@ BUG_TESTS = \ bug421.smt2 \ bug421b.smt2 \ bug425.cvc \ - bug480.smt2 \ - bug486.cvc + bug480.smt2 +# bug486.cvc TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(TPTP_TESTS) $(BUG_TESTS) |