diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2018-11-05 09:25:09 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-11-05 09:25:09 -0800 |
commit | d5023d2ec57dd741fcec1aaa5da8dedccd90aa02 (patch) | |
tree | c414cbdfe5c2a8e4643f6907fedde683525a7c6c /test/regress/regress0/quantifiers/qbv-test-invert-bvlshr-0.smt2 | |
parent | 52ee910c128e6bbcf7299a0660511deacadb14f1 (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.
Diffstat (limited to 'test/regress/regress0/quantifiers/qbv-test-invert-bvlshr-0.smt2')
0 files changed, 0 insertions, 0 deletions