The second argument to java_type_from_string is optional

tautschnig · tautschnig · commit 663bf4ab16d2 · 2019-02-05T11:32:05.000Z
diff --git a/jbmc/unit/java_bytecode/java_types/java_type_from_string.cpp b/jbmc/unit/java_bytecode/java_types/java_type_from_string.cpp
@@ -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());
   }
 

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ SCENARIO("java_type_from_string", "[core][java_types]")`
`15`	`15`
`16`	`16`	`GIVEN("Ljava/lang/Integer;")`
`17`	`17`	`{`
`18`		`- const auto integer_type = java_type_from_string("Ljava/lang/Integer;", "");`
	`18`	`+ const auto integer_type = java_type_from_string("Ljava/lang/Integer;");`
`19`	`19`	`REQUIRE(integer_type.has_value());`
`20`	`20`	`}`
`21`	`21`
`@@ -35,7 +35,7 @@ SCENARIO("java_type_from_string", "[core][java_types]")`
`35`	`35`	`GIVEN("Ljava/util/List<Ljava/lang/Integer>;")`
`36`	`36`	`{`
`37`	`37`	`const auto integer_list_type =`
`38`		`- java_type_from_string("Ljava/util/List<Ljava/lang/Integer;>;", "");`
	`38`	`+ java_type_from_string("Ljava/util/List<Ljava/lang/Integer;>;");`
`39`	`39`	`REQUIRE(integer_list_type.has_value());`
`40`	`40`	`}`
`41`	`41`