projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe2cf3a) | patch
Adding python API test part 2 (#6551)
authorYing Sheng <sqy1415@gmail.com>
Tue, 18 May 2021 17:11:16 +0000 (10:11 -0700)
committerGitHub <noreply@github.com>
Tue, 18 May 2021 17:11:16 +0000 (17:11 +0000)
commit626a1634fc21aed6e1149e5579ce112c1efc72bc
treee6f3251bdb51d8072ee07a3cacd397578d5b5d45tree
parentfe2cf3ad61eae43c381413a81f5d0137ba4c5903commit | diff
Adding python API test part 2 (#6551)

This commit (follow #6546) 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