projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0260ef) | patch
cmake: Compile Java tests and add to ctest if Java bindings are enabled.
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 24 Aug 2018 22:11:03 +0000 (15:11 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commitcdac01abe2bff167a82f749c8bf7a2d2bcd69498
tree2c5dc25760e2227a48f51c669ace2029c1ef16a3tree
parentf0260ef80ee8020e6f5ee7cace54be0a568236f0commit | diff
cmake: Compile Java tests and add to ctest if Java bindings are enabled.
CMakeLists.txt diff | blob | history
cmake/FindHamcrest.cmake [new file with mode: 0644] blob
cmake/FindJUnit.cmake [new file with mode: 0644] blob
test/java/CMakeLists.txt diff | blob | history