projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a79f95) | patch
Translating API tests to Python — part 1 (#7597)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 16 Nov 2021 18:56:37 +0000 (20:56 +0200)
committerGitHub <noreply@github.com>
Tue, 16 Nov 2021 18:56:37 +0000 (18:56 +0000)
commit40272d5f3a6568293679d5816adc533831b0677f
treea08318ca00f468d96ee6ef76c417cf381e1b150ctree
parent1a79f9534c086a90911233b1127d3269b27a7c4ecommit | diff
Translating API tests to Python — part 1 (#7597)

This PR translates some of the API tests from here to Python. The other tests are translated in a private branch and will be added in a separate PR.
34 files changed:
test/CMakeLists.txt diff | blob | history
test/api/CMakeLists.txt diff | blob | history
test/api/boilerplate.cpp [deleted file] blob | history
test/api/cpp/CMakeLists.txt [new file with mode: 0644] blob
test/api/cpp/boilerplate.cpp [new file with mode: 0644] blob
test/api/cpp/issue4889.cpp [new file with mode: 0644] blob
test/api/cpp/issue5074.cpp [new file with mode: 0644] blob
test/api/cpp/issue6111.cpp [new file with mode: 0644] blob
test/api/cpp/ouroborous.cpp [new file with mode: 0644] blob
test/api/cpp/proj-issue306.cpp [new file with mode: 0644] blob
test/api/cpp/proj-issue334.cpp [new file with mode: 0644] blob
test/api/cpp/reset_assertions.cpp [new file with mode: 0644] blob
test/api/cpp/sep_log_api.cpp [new file with mode: 0644] blob
test/api/cpp/smt2_compliance.cpp [new file with mode: 0644] blob
test/api/cpp/two_solvers.cpp [new file with mode: 0644] blob
test/api/interactive_shell.py [deleted file] blob | history
test/api/issue4889.cpp [deleted file] blob | history
test/api/issue5074.cpp [deleted file] blob | history
test/api/issue6111.cpp [deleted file] blob | history
test/api/ouroborous.cpp [deleted file] blob | history
test/api/proj-issue306.cpp [deleted file] blob | history
test/api/proj-issue334.cpp [deleted file] blob | history
test/api/python/CMakeLists.txt [new file with mode: 0644] blob
test/api/python/boilerplate.py [new file with mode: 0644] blob
test/api/python/issue4889.py [new file with mode: 0644] blob
test/api/python/issue5074.py [new file with mode: 0644] blob
test/api/python/issue6111.py [new file with mode: 0644] blob
test/api/reset_assertions.cpp [deleted file] blob | history
test/api/sep_log_api.cpp [deleted file] blob | history
test/api/smt2_compliance.cpp [deleted file] blob | history
test/api/two_solvers.cpp [deleted file] blob | history
test/binary/CMakeLists.txt [new file with mode: 0644] blob
test/binary/interactive_shell.py [new file with mode: 0644] blob
test/unit/api/python/CMakeLists.txt diff | blob | history