projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64d727b) | patch
Adding python API test part 3 (#6552)
authorYing Sheng <sqy1415@gmail.com>
Wed, 19 May 2021 20:08:54 +0000 (13:08 -0700)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 20:08:54 +0000 (20:08 +0000)
commitc143a237a52a51d1d40bd2d97a367039852acb9d
treebdbc4d87e7d140e577a880dd073bc963d2bc49a3tree
parent64d727b9dc07bfde5d8a1c326f5fcfe0d1a79a4bcommit | diff
Adding python API test part 3 (#6552)

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