NathanJPhillips
diff --git a/‎jbmc/unit/Makefile
Lines changed: 1 addition & 0 deletions b/‎jbmc/unit/Makefile
Lines changed: 1 addition & 0 deletions
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$1.class
491 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$1.class
491 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$2.class
491 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$2.class
491 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$3.class
491 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$3.class
491 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$4.class
491 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$4.class
491 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$InnerInterface.class
251 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$InnerInterface.class
251 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass.class
761 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass.class
761 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsLocalClass$1LocalClass.class
455 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsLocalClass$1LocalClass.class
455 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsLocalClass.class
330 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/ContainsLocalClass.class
330 Bytes
diff --git a/‎jbmc/unit/java_bytecode/java_bytecode_parser/InnerClasses$DefaultInnerClass.class
379 Bytes b/‎jbmc/unit/java_bytecode/java_bytecode_parser/InnerClasses$DefaultInnerClass.class
379 Bytes
@@ -12,6 +12,7 @@ SRC += java_bytecode/goto-programs/class_hierarchy_output.cpp \
        java_bytecode/java_bytecode_convert_class/convert_java_annotations.cpp \
        java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp \
        java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp \
+       java_bytecode/java_bytecode_parser/parse_java_attributes.cpp \
        java_bytecode/java_object_factory/gen_nondet_string_init.cpp \
        java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp \
        java_bytecode/java_bytecode_parse_lambdas/java_bytecode_convert_class_lambda_method_handles.cpp \