projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91e41bc) | patch
Adding python API test (#6546)
authorYing Sheng <sqy1415@gmail.com>
Mon, 17 May 2021 18:20:31 +0000 (11:20 -0700)
committerGitHub <noreply@github.com>
Mon, 17 May 2021 18:20:31 +0000 (18:20 +0000)
commitc20d3434af95f8cb8992dd3c70d0c30f1ba1495b
treed295423a3258a8cd3b68ac3d056d804251b203eatree
parent91e41bcb666d25b19074537f3f2ee98281592616commit | diff
Adding python API test (#6546)

This commit adds unit tests for python API.
Subsequent commits will include additional missing functions and unit tests.
test/python/unit/api/test_solver.py diff | blob | history