File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
jbmc/unit/java_bytecode/java_bytecode_parser Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -600,14 +600,14 @@ SCENARIO(
600600
601601 GIVEN (" A method that may or may not throw exceptions" )
602602 {
603- const symbol_tablet &new_symbol_table = load_java_class (
603+ const symbol_tablet &new_symbol_table2 = load_java_class (
604604 " ThrowsExceptions" , " ./java_bytecode/java_bytecode_parser" );
605605 WHEN (" Parsing the exceptions attribute for a method that throws exceptions" )
606606 {
607607 THEN (" We should be able to get the list of exceptions it throws" )
608608 {
609609 const symbolt &method_symbol =
610- new_symbol_table .lookup_ref (" java::ThrowsExceptions.test:()V" );
610+ new_symbol_table2 .lookup_ref (" java::ThrowsExceptions.test:()V" );
611611 const java_method_typet method =
612612 to_java_method_type (method_symbol.type );
613613 const std::vector<irep_idt> exceptions = method.throws_exceptions ();
@@ -629,7 +629,7 @@ SCENARIO(
629629 {
630630 THEN (" We should be able to get the list of exceptions it throws" )
631631 {
632- const symbolt &method_symbol = new_symbol_table .lookup_ref (
632+ const symbolt &method_symbol = new_symbol_table2 .lookup_ref (
633633 " java::ThrowsExceptions.testNoExceptions:()V" );
634634 const java_method_typet method =
635635 to_java_method_type (method_symbol.type );
You can’t perform that action at this time.
0 commit comments