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/bv/fuzz33.delta01.smt | |
| 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/bv/fuzz33.delta01.smt')
0 files changed, 0 insertions, 0 deletions