diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-07-13 20:09:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-13 22:09:07 -0500 |
commit | 4890b90d346b8382ce2de697e2e086c3e59de774 (patch) | |
tree | b5842ece616f71b6cf11e2b37a5f0c586b4f7357 /test | |
parent | bfc4e276709166bfde990357f048cf9ab2c65c6f (diff) |
bv: Add missing BV_EAGER_ATOM proof rule. (#6874)
Fixes an issue with --proof-eager-checking and --bitblast=eager.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions