diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-06-30 13:22:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-30 20:22:17 +0000 |
| commit | a1297ed93895f7405923d6d9e84432767a8abaae (patch) | |
| tree | bf855b835b8465b48d2fa26df6d00679c1474a2e /test/regress/regress0/bug164.smtv1.smt2 | |
| parent | 6e502dbc3def28d0530218a0a2374e9e4c1a946d (diff) | |
pow2: new test (#6819)
This PR adds a more "real life" unit test for the pow2 solver. Thanks @4tXJ7f for the help with the options.
Diffstat (limited to 'test/regress/regress0/bug164.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions