replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

The second argument to java_type_from_string is optional

This commit is contained in:
Michael Tautschnig 2019-02-02 21:00:15 +00:00
parent 8a277eff2b
commit 672e711965
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
jbmc/unit/java_bytecode/java_types/java_type_from_string.cpp
View File

@ -15,7 +15,7 @@ SCENARIO("java_type_from_string", "[core][java_types]")
GIVEN("Ljava/lang/Integer;")
{
const auto integer_type = java_type_from_string("Ljava/lang/Integer;", "");
const auto integer_type = java_type_from_string("Ljava/lang/Integer;");
REQUIRE(integer_type.has_value());
}
@ -35,7 +35,7 @@ SCENARIO("java_type_from_string", "[core][java_types]")
GIVEN("Ljava/util/List<Ljava/lang/Integer>;")
{
const auto integer_list_type =
java_type_from_string("Ljava/util/List<Ljava/lang/Integer;>;", "");
java_type_from_string("Ljava/util/List<Ljava/lang/Integer;>;");
REQUIRE(integer_list_type.has_value());
}