Skip to content

Commit 9933b58

Browse files
thk123Thomas Kiley
thk123
authored and
Thomas Kiley
committed
Revert "Merge pull request #1816 from NathanJPhillips/feature/overlay-methods"
This reverts commit 97a6713, reversing changes made to 5cbb758.
1 parent cd9b839 commit 9933b58

26 files changed

+316
-793
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ GenericFields$SimpleGenericField.class
33
--cover location --function GenericFields\$SimpleGenericField.foo --verbosity 10
44
^EXIT=0$
55
^SIGNAL=0$
6-
Parsing class AWrapper
7-
Parsing class FWrapper
8-
Parsing class IWrapper
6+
Reading class AWrapper
7+
Reading class FWrapper
8+
Reading class IWrapper
99
--
1010
failed to load class \`AWrapper\'
1111
failed to load class \`FWrapper\'

‎regression/cbmc-java/overlay-class/Test.class

-583 Bytes
Binary file not shown.

‎regression/cbmc-java/overlay-class/Test.java

Lines changed: 0 additions & 14 deletions
This file was deleted.

‎regression/cbmc-java/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class

-185 Bytes
Binary file not shown.

‎regression/cbmc-java/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎regression/cbmc-java/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.class

-187 Bytes
Binary file not shown.

‎regression/cbmc-java/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎regression/cbmc-java/overlay-class/correct-overlay/Test.class

-412 Bytes
Binary file not shown.

‎regression/cbmc-java/overlay-class/correct-overlay/Test.java

Lines changed: 0 additions & 14 deletions
This file was deleted.

‎regression/cbmc-java/overlay-class/correct-test.desc

Lines changed: 0 additions & 17 deletions
This file was deleted.

0 commit comments

Comments
 (0)