Skip to content

Commit 5f81f5b

Browse files
Revert "Adds another test for deeply nested classes."
This reverts commit d5cb4f8.
1 parent 47220d2 commit 5f81f5b

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

jbmc/unit/java_bytecode/java_bytecode_parser/InnerClasses.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,7 @@ private PrivateDoublyNestedInnerClass(int i) {
8585
}
8686
}
8787

88+
<<<<<<< HEAD
8889
class InnerPrivateClassesDeeplyNested {
8990
private class SinglyNestedPrivateClass {
9091
int i;
@@ -151,6 +152,8 @@ private PrivateDoublyNestedInnerClass(int i) {
151152
}
152153
}
153154

155+
=======
156+
>>>>>>> parent of d5cb4f806... Adds another test for deeply nested classes.
154157
class ContainsAnonymousClass {
155158
interface InnerInterface {
156159
int i = 0;

jbmc/unit/java_bytecode/java_bytecode_parser/parse_java_attributes.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -208,6 +208,7 @@ SCENARIO(
208208
}
209209

210210
GIVEN(
211+
<<<<<<< HEAD
211212
"Some package-private class files in the class path with private deeply"
212213
"nested inner classes")
213214
{
@@ -364,6 +365,8 @@ SCENARIO(
364365
}
365366

366367
GIVEN(
368+
=======
369+
>>>>>>> parent of d5cb4f806... Adds another test for deeply nested classes.
367370
"Some package-private class files in the class path with anonymous classes")
368371
{
369372
const symbol_tablet &new_symbol_table = load_java_class(

0 commit comments

Comments
 (0)