projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52ee910) | patch
Increasing coverage (#2683)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 5 Nov 2018 17:25:09 +0000 (09:25 -0800)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 5 Nov 2018 17:25:09 +0000 (09:25 -0800)
commitd5023d2ec57dd741fcec1aaa5da8dedccd90aa02
treec414cbdfe5c2a8e4643f6907fedde683525a7c6ctree
parent52ee910c128e6bbcf7299a0660511deacadb14f1commit | diff
Increasing coverage (#2683)

This PR adds/revises tests in order to increase coverage in some preprocessing passes and in proofs done with --fewer-preprocessing-holes flag.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/bug217.smt2 diff | blob | history
test/regress/regress0/bv/ackermann3.smt2 [new file with mode: 0644] blob
test/regress/regress0/bv/ackermann4.smt2 [new file with mode: 0644] blob
test/regress/regress0/bv/bool-to-bv.smt2 diff | blob | history
test/regress/regress0/bv/bv-to-bool.smt [deleted file] blob | history
test/regress/regress0/bv/bv-to-bool1.smt [new file with mode: 0644] blob
test/regress/regress0/bv/bv-to-bool2.smt2 [new file with mode: 0644] blob
test/regress/regress0/quantifiers/macros-real-arg.smt2 diff | blob | history