projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e502db) | patch
pow2: new test (#6819)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 30 Jun 2021 20:22:17 +0000 (13:22 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Jun 2021 20:22:17 +0000 (20:22 +0000)
commita1297ed93895f7405923d6d9e84432767a8abaae
treebf855b835b8465b48d2fa26df6d00679c1474a2etree
parent6e502dbc3def28d0530218a0a2374e9e4c1a946dcommit | 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.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/nl/pow2-pow-isabelle.smt2 [new file with mode: 0644] blob