Add java_types unit tests to Makefile

NathanJPhillips · May 3, 2018 · 4a6ae9b · 4a6ae9b
1 parent 4c5144d
commit 4a6ae9b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/unit/Makefile b/unit/Makefile
@@ -24,6 +24,10 @@ SRC += unit_tests.cpp \
        java_bytecode/java_bytecode_parse_lambdas/java_bytecode_convert_class_lambda_method_handles.cpp \
        miniBDD_new.cpp \
        java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp \
+       java_bytecode/java_types/erase_type_arguments.cpp \
+       java_bytecode/java_types/generic_type_index.cpp \
+       java_bytecode/java_types/java_generic_symbol_type.cpp \
+       java_bytecode/java_types/java_type_from_string.cpp \
        java_bytecode/java_utils_test.cpp \
        java_bytecode/inherited_static_fields/inherited_static_fields.cpp \
        pointer-analysis/custom_value_set_analysis.cpp \

diff --git a/unit/java_bytecode/java_types/erase_type_arguments.cpp b/unit/java_bytecode/java_types/erase_type_arguments.cpp
@@ -7,7 +7,7 @@
 \*******************************************************************/
 
 #include <testing-utils/catch.hpp>
-#include <java_types.h>
+#include <java_bytecode/java_types.h>
 
 SCENARIO("erase_type_arguments", "[core][java_types]")
 {