projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2df40d) | patch
Adding python API test part 4 (#6553)
authorYing Sheng <sqy1415@gmail.com>
Wed, 19 May 2021 22:15:45 +0000 (15:15 -0700)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 22:15:45 +0000 (22:15 +0000)
commit7d1672babd2a4857c7726bd86d26584f69043db9
treedff49533d69f8c3e6b76a2e94f7aae90d6bc43f7tree
parente2df40dd3b293d5c408f15c7bc99cb8e2d1ebe8acommit | diff
Adding python API test part 4 (#6553)

This commit (follow #6552) adds more 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