Avoid 'result' name clash when a user parameter is named result - #431

Avoid 'result' name clash when a user parameter is named result#431

tautschnig wants to merge 1 commit into

strata-org:mainstrata-org/jverify:mainfrom

tautschnig:pr/avoid-result-param-name-clashtautschnig/jverify:pr/avoid-result-param-name-clashCopy head branch name to clipboard