-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Labels
PVMProblem occurs at the execution stage for PVMProblem occurs at the execution stage for PVMerror: gasgas mapping issuegas mapping issue
Description
Given the following contract
contract Test {
bool public executed;
function main() public returns (bool) {
this.f1{gas: 1}();
return executed;
}
function f1() public {
executed = true;
}
}
However, in revive the call is successful and the function returns 1
. This holds both for kitchensink and the revive dev node – and it holds both for dry running and for executing the function on chain.
Expected Behavior
The expected result of calling main
in Test
is that the function reverts as f1
should run out of gas.
Metadata
Metadata
Assignees
Labels
PVMProblem occurs at the execution stage for PVMProblem occurs at the execution stage for PVMerror: gasgas mapping issuegas mapping issue