projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dae7592) | patch
Integrate java unit tests into ctest (#7593)
authorGereon Kremer <nafur42@gmail.com>
Sat, 6 Nov 2021 21:43:43 +0000 (14:43 -0700)
committerGitHub <noreply@github.com>
Sat, 6 Nov 2021 21:43:43 +0000 (14:43 -0700)
commit8a0a28a334ea7f52b9e42a870fd473cc15bd6720
tree0d6b017454bc3fed9427334c8b6cb7f19381dda0tree
parentdae75929c02225ff519bf8d4cf9f9a38e1d61b08commit | diff
Integrate java unit tests into ctest (#7593)

This PR properly integrates the java api unit tests into ctest.
src/api/__pycache__/parsekinds.cpython-39.pyc [deleted file] blob | history
test/unit/api/java/CMakeLists.txt diff | blob | history