ASSUMPTION

Typed EVM state assumption.

Family
Logical
Physical
JSON
Used by
5 functions
Examples
0 samples

Used by functions

Derived from generated function parameters and return types.

Returned as output

  • assume_code

    Declares exact EVM runtime bytecode used to evaluate a PROGRAM offline.

    scalar function Offline 1 overload
  • assume_native_balance

    Declares an exact native-token balance used to evaluate a PROGRAM offline.

    scalar function Offline 1 overload
  • assume_no_code

    Declares that an account has no EVM runtime bytecode.

    scalar function Offline 1 overload
  • assume_nonce

    Declares an exact account nonce used to evaluate a PROGRAM offline.

    scalar function Offline 1 overload
  • assume_storage

    Declares an exact contract storage-slot value used to evaluate a PROGRAM offline.

    scalar function Offline 1 overload