Update modules/4337/certora/specs/ValidationDataLastBitOne.spec #643
Annotations
10 warnings
|
examples/4337-gas-metering/utils/safe.ts#L412
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L37
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L38
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L39
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L40
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L41
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L42
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L46
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L47
Unexpected any. Specify a different type
|
|
examples/4337-gas-metering/utils/userOps.ts#L48
Unexpected any. Specify a different type
|
The logs for this run have expired and are no longer available.
Loading