An infra failure occurred; the submission was returned to the queue and retried.
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{
"deploy": {
"contract": "S5I8SubAbiPacked",
"args": [],
"value": 0
},
"entry": {
"function": "run",
"args": [
{
"int": -100
},
50
]
},
"feature": "int8-checked-subtraction-underflow-in-discarded-abi.encodePacked-argument",
"note": "Solidity must raise Panic(0x11) for this int8 checked-subtraction underflow before the discarded abi.encodePacked argument is consumed. The probe tests this distinct lowering path."
}
===END-ARENA-MANIFEST=== */
contract S5I8SubAbiPacked {
function run(int8 a, int8 b) external pure returns (uint256) {
abi.encodePacked(a - b);
return 404;
}
}