Skip to content

Commit 1957426

Browse files
author
Matthias Güdemann
authored
Merge pull request diffblue#1607 from mgudemann/fix/add_missing_class_file_awrapper
Add AWrapper.class which was missing from regression test
2 parents a1bc2a2 + 558cb7a commit 1957426

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

‎regression/cbmc-java/generics_type_param/AWrapper.class

195 Bytes
Binary file not shown.

‎regression/cbmc-java/generics_type_param/test.desc

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,3 +6,7 @@ GenericFields$SimpleGenericField.class
66
Reading class AWrapper
77
Reading class FWrapper
88
Reading class IWrapper
9+
--
10+
failed to load class \`AWrapper\'
11+
failed to load class \`FWrapper\'
12+
failed to load class \`IWrapper\'

0 commit comments

Comments
 (0)