We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f5f7aa5 commit 4c6c4a2Copy full SHA for 4c6c4a2
jbmc/unit/java-testing-utils/require_goto_statements.cpp
@@ -462,10 +462,10 @@ require_goto_statements::require_entry_point_argument_assignment(
462
{
463
// Trace the creation of the object that is being supplied as the input
464
// argument to the function under test
465
- const pointer_assignment_locationt &argument_assignments =
+ const pointer_assignment_locationt argument_assignments =
466
find_pointer_assignments(
467
- id2string(goto_functionst::entry_point()) + "::" +
468
- id2string(argument_name),
+ id2string(goto_functionst::entry_point()) +
+ "::" + id2string(argument_name),
469
entry_point_statements);
470
471
// There should be at most one assignment to it
0 commit comments