diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-09-30 12:07:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-30 17:07:39 +0000 |
| commit | 720e3afc907f429cf8105ee49b3628ddaacbf7a3 (patch) | |
| tree | 68e8cd29c979cdab7ba92268d7903cb3e7b79779 /test/unit/api/java/CMakeLists.txt | |
| parent | 4e54aa63e13f551e9c647ce59edd958e1d84ddb1 (diff) | |
Finish the Java Api (#6396)
This commit finishes the implementation of the Java API.
It also includes all java files in the build along with their unit tests.
Diffstat (limited to 'test/unit/api/java/CMakeLists.txt')
| -rw-r--r-- | test/unit/api/java/CMakeLists.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/test/unit/api/java/CMakeLists.txt b/test/unit/api/java/CMakeLists.txt index fe497ef3b..66b764ca4 100644 --- a/test/unit/api/java/CMakeLists.txt +++ b/test/unit/api/java/CMakeLists.txt @@ -21,7 +21,13 @@ get_target_property(CVC5_JAR_PATH cvc5jar JAR_FILE) # specify source files for junit tests set(java_test_src_files + ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/DatatypeTest.java + ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/GrammarTest.java + ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/OpTest.java + ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/ResultTest.java ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/SolverTest.java + ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/SortTest.java + ${CMAKE_CURRENT_SOURCE_DIR}/cvc5/TermTest.java ) # build junit tests @@ -59,4 +65,5 @@ add_custom_target( ) add_dependencies(run-junit-tests build-junit-tests) -add_dependencies(units run-junit-tests)
\ No newline at end of file +add_dependencies(units run-junit-tests) +add_dependencies(check run-junit-tests)
\ No newline at end of file |