projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f08dd1c) | patch
Translating API tests to Python — part 2 (#7651)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 1 Dec 2021 01:38:45 +0000 (03:38 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Dec 2021 01:38:45 +0000 (01:38 +0000)
commit24663f1c4baa2d60f27bd72c5654eaab9bd7ce01
tree58a3aa8c7524aad9b2f6f2bb4128b425ac18394btree
parentf08dd1c4822114f59f109a58282324b2367baf1acommit | diff
Translating API tests to Python — part 2 (#7651)

This PR translates the remaining cpp API tests to python.
test/api/python/CMakeLists.txt diff | blob | history
test/api/python/proj-issue306.py [new file with mode: 0644] blob
test/api/python/reset_assertions.py [new file with mode: 0644] blob
test/api/python/sep_log_api.py [new file with mode: 0644] blob
test/api/python/two_solvers.py [new file with mode: 0644] blob