diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2019-06-02 21:23:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-02 21:23:52 -0700 |
| commit | 52a910f728f399e782b3ac036e4476f1fb3c27fa (patch) | |
| tree | f71207f20a825d88890f5367979ae56919d246b9 /.travis.yml | |
| parent | 9ccf3c01a736a9f6d5c6889b51c4589221044c97 (diff) | |
[SMT-COMP 2019] Use lazy BV as backup for QF_UFBV (#3037)
We cannot Ackermannize all the QF_UFBV benchmarks due to uninterpreted
sorts. This commit adds lazy bit-blasting as a backup strategy.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions