projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff498bb) | patch
Adding regression test scrubbing.
authorTim King <taking@google.com>
Wed, 11 Jan 2017 01:51:14 +0000 (17:51 -0800)
committerTim King <taking@google.com>
Wed, 11 Jan 2017 02:21:15 +0000 (18:21 -0800)
commit1e7807069e07a710bafa83fc7412c3ac164249b8
tree3301a132c17645a33abe8e5bb331fa3d721af33dtree
parentff498bb43b3d3785bdb894974678e65926de62abcommit | diff
Adding regression test scrubbing.
24 files changed:
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/rewriter.cpp diff | blob | history
src/theory/rewriter.h diff | blob | history
test/Makefile.am diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/arith/Makefile.am diff | blob | history
test/regress/regress0/arith/bug716.0.smt2 [new file with mode: 0644] blob
test/regress/regress0/arith/bug716.1.cvc [new file with mode: 0644] blob
test/regress/regress0/arith/div.09.smt2 diff | blob | history
test/regress/regress0/expect/Makefile.am [new file with mode: 0644] blob
test/regress/regress0/expect/README [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.01.smt [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.01.smt.expect [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.02.smt [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.03.smt2 [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.03.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.04.smt2 [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.06.cvc [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.07.sy [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.07.sy.expect [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.08.sy [new file with mode: 0644] blob
test/regress/regress0/expect/scrub.09.p [new file with mode: 0644] blob
test/regress/run_regression diff | blob | history