@@ -5,26 +5,29 @@ SRC = $(CPROVER_DIR)/unit/unit_tests.cpp \
5
5
# Empty last line
6
6
7
7
# Test source files
8
- SRC += java_bytecode/goto-programs/class_hierarchy_output .cpp \
8
+ SRC += java_bytecode/goto_program_generics/mutually_recursive_generics .cpp \
9
9
java_bytecode/goto-programs/class_hierarchy_graph.cpp \
10
+ java_bytecode/goto-programs/class_hierarchy_output.cpp \
10
11
java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp \
12
+ java_bytecode/inherited_static_fields/inherited_static_fields.cpp \
11
13
java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp \
12
14
java_bytecode/java_bytecode_convert_class/convert_java_annotations.cpp \
13
15
java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp \
14
16
java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp \
15
- java_bytecode/java_bytecode_parser/parse_java_class.cpp \
17
+ java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp \
18
+ java_bytecode/java_bytecode_parse_lambdas/java_bytecode_convert_class_lambda_method_handles.cpp \
19
+ java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp \
16
20
java_bytecode/java_bytecode_parser/parse_java_attributes.cpp \
21
+ java_bytecode/java_bytecode_parser/parse_java_class.cpp \
17
22
java_bytecode/java_object_factory/gen_nondet_string_init.cpp \
18
- java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp \
19
- java_bytecode/java_bytecode_parse_lambdas/java_bytecode_convert_class_lambda_method_handles.cpp \
20
23
java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp \
21
24
java_bytecode/java_types/erase_type_arguments.cpp \
22
25
java_bytecode/java_types/generic_type_index.cpp \
23
26
java_bytecode/java_types/java_generic_symbol_type.cpp \
24
27
java_bytecode/java_types/java_type_from_string.cpp \
25
28
java_bytecode/java_utils_test.cpp \
29
+ java_bytecode/java_virtual_functions/virtual_functions.cpp \
26
30
java_bytecode/load_method_by_regex.cpp \
27
- java_bytecode/inherited_static_fields/inherited_static_fields.cpp \
28
31
pointer-analysis/custom_value_set_analysis.cpp \
29
32
solvers/refinement/string_constraint_instantiation/instantiate_not_contains.cpp \
30
33
solvers/refinement/string_refinement/dependency_graph.cpp \
@@ -33,9 +36,6 @@ SRC += java_bytecode/goto-programs/class_hierarchy_output.cpp \
33
36
util/has_subtype.cpp \
34
37
util/parameter_indices.cpp \
35
38
util/simplify_expr.cpp \
36
- java_bytecode/java_virtual_functions/virtual_functions.cpp \
37
- java_bytecode/java_bytecode_parse_generics/parse_generic_superclasses.cpp \
38
- java_bytecode/goto_program_generics/mutually_recursive_generics.cpp \
39
39
# Empty last line
40
40
41
41
INCLUDES = -I ../src/ -I. -I $(CPROVER_DIR ) /src -I $(CPROVER_DIR ) /unit
0 commit comments