Skip to content

Commit bccf9cc

Browse files
fixup! test clang format
1 parent a129281 commit bccf9cc

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

jbmc/unit/java_bytecode/java_bytecode_parser/parse_java_attributes.cpp

+8-8
Original file line numberDiff line numberDiff line change
@@ -71,8 +71,8 @@ SCENARIO(
7171
}
7272
GIVEN("Some package-private class files in the class path with inner classes")
7373
{
74-
const symbol_tablet &new_symbol_table =
75-
load_java_class("InnerClassesDefault", "./java_bytecode/java_bytecode_parser");
74+
const symbol_tablet &new_symbol_table = load_java_class(
75+
"InnerClassesDefault", "./java_bytecode/java_bytecode_parser");
7676
WHEN("Parsing the InnerClasses attribute for a public inner class")
7777
{
7878
THEN("The class should be marked as public")
@@ -127,8 +127,8 @@ SCENARIO(
127127
"Some package-private class files in the class path with deeply nested "
128128
"inner classes")
129129
{
130-
const symbol_tablet &new_symbol_table =
131-
load_java_class("InnerClassesDeeplyNested", "./java_bytecode/java_bytecode_parser");
130+
const symbol_tablet &new_symbol_table = load_java_class(
131+
"InnerClassesDeeplyNested", "./java_bytecode/java_bytecode_parser");
132132
WHEN(
133133
"Parsing the InnerClasses attribute for a public doubly-nested inner "
134134
"class")
@@ -194,8 +194,8 @@ SCENARIO(
194194
GIVEN(
195195
"Some package-private class files in the class path with anonymous classes")
196196
{
197-
const symbol_tablet &new_symbol_table =
198-
load_java_class("ContainsAnonymousClass", "./java_bytecode/java_bytecode_parser");
197+
const symbol_tablet &new_symbol_table = load_java_class(
198+
"ContainsAnonymousClass", "./java_bytecode/java_bytecode_parser");
199199
WHEN("Parsing the InnerClasses attribute for a public anonymous class")
200200
{
201201
THEN("The class should be marked as public")
@@ -251,8 +251,8 @@ SCENARIO(
251251
GIVEN(
252252
"Some package-private class files in the class path with local classes ")
253253
{
254-
const symbol_tablet &new_symbol_table =
255-
load_java_class("ContainsLocalClass", "./java_bytecode/java_bytecode_parser");
254+
const symbol_tablet &new_symbol_table = load_java_class(
255+
"ContainsLocalClass", "./java_bytecode/java_bytecode_parser");
256256
WHEN("Parsing the InnerClasses attribute for a package-private class ")
257257
{
258258
THEN("The class should be marked as package-private")

0 commit comments

Comments
 (0)