Merge pull request #1461 from thk123/bugfix/correcting-includes-in-new-unit-tests

Util files were moved into a util library

Author: Thomas Kiley

unit/Makefile

@@ -19,6 +19,7 @@ SRC += unit_tests.cpp \
        java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp \
        miniBDD_new.cpp \
        java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp \
+       java_bytecode/java_utils_test.cpp \
        solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp \
        solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp \
        solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp \

unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp

@@ -6,7 +6,7 @@
 
 \*******************************************************************/
 
-#include <catch.hpp>
+#include <testing-utils/catch.hpp>
 
 #include <istream>
 #include <memory>
@@ -16,7 +16,7 @@
 #include <util/message.h>
 #include <java_bytecode/java_bytecode_language.h>
 #include <iostream>
-#include <src/java_bytecode/load_java_class.h>
+#include <testing-utils/load_java_class.h>
 
 SCENARIO(
   "java_bytecode_parse_derived_generic_class",

unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp

@@ -6,15 +6,15 @@
 
 \*******************************************************************/
 
-#include <catch.hpp>
+#include <testing-utils/catch.hpp>
 
 #include <util/config.h>
 #include <util/cmdline.h>
 #include <util/language.h>
 #include <util/prefix.h>
 
 #include <java_bytecode/java_bytecode_language.h>
-#include <src/java_bytecode/load_java_class.h>
+#include <testing-utils/load_java_class.h>
 
 #include <iostream>
 #include <util/namespace.h>

unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp

@@ -6,7 +6,7 @@
 
 \*******************************************************************/
 
-#include <catch.hpp>
+#include <testing-utils/catch.hpp>
 
 #include <util/config.h>
 #include <util/cmdline.h>
@@ -16,7 +16,7 @@
 #include <java_bytecode/java_bytecode_language.h>
 
 #include <iostream>
-#include <src/java_bytecode/load_java_class.h>
+#include <testing-utils/load_java_class.h>
 
 SCENARIO(
   "java_bytecode_parse_generic_function",

unit/java_bytecode/java_bytecode_parse_generics/parse_generic_wildcard_function.cpp

@@ -6,7 +6,7 @@
 
 \*******************************************************************/
 
-#include <catch.hpp>
+#include <testing-utils/catch.hpp>
 
 #include <util/config.h>
 #include <util/cmdline.h>
@@ -16,7 +16,7 @@
 #include <java_bytecode/java_bytecode_language.h>
 
 #include <iostream>
-#include <src/java_bytecode/load_java_class.h>
+#include <testing-utils/load_java_class.h>
 
 SCENARIO(
   "java_bytecode_parse_generic_wildcard",

unit/java_bytecode/java_bytecode_parse_generics/parse_recursive_generic_class.cpp

@@ -6,15 +6,15 @@
 
 \*******************************************************************/
 
-#include <catch.hpp>
+#include <testing-utils/catch.hpp>
 
 #include <util/config.h>
 #include <util/cmdline.h>
 #include <util/language.h>
 #include <util/prefix.h>
 
 #include <java_bytecode/java_bytecode_language.h>
-#include <src/java_bytecode/load_java_class.h>
+#include <testing-utils/load_java_class.h>
 
 #include <iostream>
 #include <util/namespace.h>

unit/java_bytecode/java_utils_test.cpp

@@ -11,7 +11,7 @@
 #include <string>
 #include <vector>
 
-#include <catch.hpp>
+#include <testing-utils/catch.hpp>
 
 #include <java_bytecode/java_utils.h>