projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6aeceb) | patch
decision regressions, all but one fail
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 13 Jun 2012 14:00:35 +0000 (14:00 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 13 Jun 2012 14:00:35 +0000 (14:00 +0000)
commitbe5c0f29e6be61edf6a197bd8e96cdeffaaffbc4
tree5a53b4dab644ae284b1eccc6440606973463c400tree
parentc6aecebe573aeed87ef0661b38af7c3cbc7d641fcommit | diff
decision regressions, all but one fail
30 files changed:
test/Makefile.am diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/decision/Makefile [new file with mode: 0644] blob
test/regress/regress0/decision/Makefile.am [new file with mode: 0644] blob
test/regress/regress0/decision/aufbv-fuzz01.smt [new file with mode: 0644] blob
test/regress/regress0/decision/aufbv-fuzz01.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/bitvec0.delta01.smt [new file with mode: 0644] blob
test/regress/regress0/decision/bitvec0.delta01.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/bitvec0.smt [new file with mode: 0644] blob
test/regress/regress0/decision/bitvec0.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/bitvec5.smt [new file with mode: 0644] blob
test/regress/regress0/decision/bitvec5.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/bug347.smt [new file with mode: 0644] blob
test/regress/regress0/decision/bug347.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/just_sat.expect [new file with mode: 0644] blob
test/regress/regress0/decision/just_unsat.expect [new file with mode: 0644] blob
test/regress/regress0/decision/quant-Arrays_Q1-noinfer.smt2 [new file with mode: 0644] blob
test/regress/regress0/decision/quant-Arrays_Q1-noinfer.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 [new file with mode: 0644] blob
test/regress/regress0/decision/quant-symmetric_unsat_7.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/decision/uflia-error0.smt2 [new file with mode: 0644] blob
test/regress/regress0/decision/uflia-error0.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/decision/uflia-xs-09-16-3-4-1-5.delta03.smt [new file with mode: 0644] blob
test/regress/regress0/decision/uflia-xs-09-16-3-4-1-5.delta03.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/uflia-xs-09-16-3-4-1-5.smt [new file with mode: 0644] blob
test/regress/regress0/decision/uflia-xs-09-16-3-4-1-5.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/wchains010ue.delta02.smt [new file with mode: 0644] blob
test/regress/regress0/decision/wchains010ue.delta02.smt.expect [new file with mode: 0644] blob
test/regress/regress0/decision/wchains010ue.smt [new file with mode: 0644] blob
test/regress/regress0/decision/wchains010ue.smt.expect [new file with mode: 0644] blob