Skip to content

Commit b4b4c99

Browse files
Add missing scoping brackets to GIVEN.
The GIVENs were missing scoping brackets.
1 parent 1885042 commit b4b4c99

File tree

1 file changed

+22
-13
lines changed

1 file changed

+22
-13
lines changed

jbmc/unit/java_bytecode/java_static_initializers/java_static_initializers.cpp

Lines changed: 22 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -12,16 +12,21 @@ Author: Diffblue Ltd.
1212
SCENARIO("is_clinit_function", "[core][java_static_initializers]")
1313
{
1414
GIVEN("A function id that represents a clinit")
15-
THEN("is_clinit_function should return true.")
1615
{
17-
const std::string input = "com.something.package.TestClass.<clinit>:()V";
18-
REQUIRE(is_clinit_function(input));
16+
THEN("is_clinit_function should return true.")
17+
{
18+
const std::string input = "com.something.package.TestClass.<clinit>:()V";
19+
REQUIRE(is_clinit_function(input));
20+
}
1921
}
2022
GIVEN("A function id that does not represent a clinit")
21-
THEN("is_clinit_function should return false.")
2223
{
23-
const std::string input = "com.something.package.TestClass.<notclinit>:()V";
24-
REQUIRE_FALSE(is_clinit_function(input));
24+
THEN("is_clinit_function should return false.")
25+
{
26+
const std::string input =
27+
"com.something.package.TestClass.<notclinit>:()V";
28+
REQUIRE_FALSE(is_clinit_function(input));
29+
}
2530
}
2631
}
2732

@@ -30,16 +35,20 @@ SCENARIO(
3035
"[core][java_static_initializers]")
3136
{
3237
GIVEN("A function id that represents a user-specified clinit")
33-
THEN("is_user_specified_clinit_function should return true.")
3438
{
35-
const std::string input =
36-
"com.something.package.TestClass::user_specified_clinit";
37-
REQUIRE(is_user_specified_clinit_function(input));
39+
THEN("is_user_specified_clinit_function should return true.")
40+
{
41+
const std::string input =
42+
"com.something.package.TestClass::user_specified_clinit";
43+
REQUIRE(is_user_specified_clinit_function(input));
44+
}
3845
}
3946
GIVEN("A function id that does not represent a user-specified clinit")
40-
THEN("is_clinit_function should return false.")
4147
{
42-
const std::string input = "com.something.package.TestClass::not_it";
43-
REQUIRE_FALSE(is_user_specified_clinit_function(input));
48+
THEN("is_clinit_function should return false.")
49+
{
50+
const std::string input = "com.something.package.TestClass::not_it";
51+
REQUIRE_FALSE(is_user_specified_clinit_function(input));
52+
}
4453
}
4554
}

0 commit comments

Comments
 (0)