projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b5902b) | patch
Rename system tests to api tests and remove obsolete Java test. (#5066)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 15 Sep 2020 04:21:03 +0000 (21:21 -0700)
committerGitHub <noreply@github.com>
Tue, 15 Sep 2020 04:21:03 +0000 (23:21 -0500)
commitcdb338bb5c0fc033f6788549985c5a60ab1323b3
treefb6ce5e0c9f17d8fb5ed7c8141a21e037e859ecdtree
parent2b5902b1c54b1a4717273d501333dd37b8715f9dcommit | diff
Rename system tests to api tests and remove obsolete Java test. (#5066)
21 files changed:
src/main/CMakeLists.txt diff | blob | history
test/CMakeLists.txt diff | blob | history
test/api/CMakeLists.txt [new file with mode: 0644] blob
test/api/boilerplate.cpp [new file with mode: 0644] blob
test/api/interactive_shell.py [new file with mode: 0755] blob
test/api/ouroborous.cpp [new file with mode: 0644] blob
test/api/reset_assertions.cpp [new file with mode: 0644] blob
test/api/sep_log_api.cpp [new file with mode: 0644] blob
test/api/smt2_compliance.cpp [new file with mode: 0644] blob
test/api/statistics.cpp [new file with mode: 0644] blob
test/api/two_solvers.cpp [new file with mode: 0644] blob
test/system/CMakeLists.txt [deleted file] blob | history
test/system/CVC4JavaTest.java [deleted file] blob | history
test/system/boilerplate.cpp [deleted file] blob | history
test/system/interactive_shell.py [deleted file] blob | history
test/system/ouroborous.cpp [deleted file] blob | history
test/system/reset_assertions.cpp [deleted file] blob | history
test/system/sep_log_api.cpp [deleted file] blob | history
test/system/smt2_compliance.cpp [deleted file] blob | history
test/system/statistics.cpp [deleted file] blob | history
test/system/two_solvers.cpp [deleted file] blob | history