projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3eaa11b) | patch
add some incremental in-tree regressions
authorMorgan Deters <mdeters@gmail.com>
Tue, 21 Aug 2012 22:13:12 +0000 (22:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 21 Aug 2012 22:13:12 +0000 (22:13 +0000)
commitc2fa4e991c3ba17857019da9becd185e90cc0ee0
treebdaa64304d16e929f035590981846eeae1f34c63tree
parent3eaa11b288348aeb71d3fad4f3719525c253fc91commit | diff
add some incremental in-tree regressions
29 files changed:
src/theory/theory_engine.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug216.smt2 [new file with mode: 0644] blob
test/regress/regress0/bug216.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/queries0.cvc [new file with mode: 0644] blob
test/regress/regress0/uflia/DRAGON_11_e1_2450.ec.minimized.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/DRAGON_11_e1_2450.ec.minimized.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.core.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/FIREFLY_luke_1b_e2_3049_e7_1173.ec.minimized.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/Makefile.am diff | blob | history
test/regress/regress0/uflia/check01.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/check02.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/check02.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/check03.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/check03.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/check04.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/check04.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/microwave21.ec.minimized.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/speed2_e8_449_e8_517.ec.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/speed2_e8_449_e8_517.ec.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.minimized.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.minimized.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/uflia/tiny.smt2 [new file with mode: 0644] blob
test/regress/regress0/uflia/tiny.smt2.expect [new file with mode: 0644] blob