projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c321323) | patch
Fix Python API tests (#8392)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 25 Mar 2022 13:08:01 +0000 (06:08 -0700)
committerGitHub <noreply@github.com>
Fri, 25 Mar 2022 13:08:01 +0000 (08:08 -0500)
commit3c4ad6a462ea1f583950af993468a10d45ca7e0c
treed20044d2d350b1eccd376ff5e9a42040cb788fd1tree
parentc3213232786891993394fdcd010607622cac7a6bcommit | diff
Fix Python API tests (#8392)

Note that we are currently not running API tests on the CI due to the
changes in 23dd064.
test/unit/api/python/test_solver.py diff | blob | history