diff options
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/api/java/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/unit/test_smt.h | 2 | ||||
| -rw-r--r-- | test/unit/util/stats_black.cpp | 2 |
3 files changed, 4 insertions, 2 deletions
diff --git a/test/unit/api/java/CMakeLists.txt b/test/unit/api/java/CMakeLists.txt index 0ef649b87..fe497ef3b 100644 --- a/test/unit/api/java/CMakeLists.txt +++ b/test/unit/api/java/CMakeLists.txt @@ -17,6 +17,8 @@ find_package(Java REQUIRED) include(UseJava) find_package(JUnit REQUIRED) +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/SolverTest.java diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index 1aed7ce3f..a81deabc2 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -19,8 +19,8 @@ #include "expr/dtype_cons.h" #include "expr/node.h" #include "expr/node_manager.h" -#include "expr/proof_checker.h" #include "expr/skolem_manager.h" +#include "proof/proof_checker.h" #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "test.h" diff --git a/test/unit/util/stats_black.cpp b/test/unit/util/stats_black.cpp index 7fdf44298..669857e96 100644 --- a/test/unit/util/stats_black.cpp +++ b/test/unit/util/stats_black.cpp @@ -20,8 +20,8 @@ #include <string> #include <thread> -#include "expr/proof_rule.h" #include "lib/clock_gettime.h" +#include "proof/proof_rule.h" #include "test.h" #include "util/statistics_registry.h" #include "util/statistics_stats.h" |