Add java_types unit tests to Makefile

romainbrenguier · romainbrenguier · commit 4a6ae9babf77 · 2018-05-03T10:59:41.000+01:00
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]")
 {

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@`
`7`	`7`	`\*******************************************************************/`
`8`	`8`
`9`	`9`	`#include <testing-utils/catch.hpp>`
`10`		`-#include <java_types.h>`
	`10`	`+#include <java_bytecode/java_types.h>`
`11`	`11`
`12`	`12`	`SCENARIO("erase_type_arguments", "[core][java_types]")`
`13`	`13`	`{`