diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-31 11:25:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-31 11:25:27 -0700 |
commit | 0b2eb659087dd3643e57fe39ee84f6cb42721e94 (patch) | |
tree | d273e0b2d7207f1fb5c1e49ebdfcb77d00eb0992 /test/system | |
parent | cf97bbba5725abcb7a4085271719de8b1a832628 (diff) |
Fix option handler for lazy/bv-sat-solver combinations. (#2225)
Further, unifies all *limitHandler and *limitPerHandler to limitHandler.
Diffstat (limited to 'test/system')
0 files changed, 0 insertions, 0 deletions