View this page as Markdown

ASSUMPTION

Exact balance, nonce, storage, or runtime-code value supplied as initial PROGRAM state.

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 the exact EVM runtime bytecode supplied for one address in a PROGRAM's initial state.

    scalar function Offline 1 overload
  • assume_native_balance

    Declares the exact native balance, in Wei, supplied for one address in a PROGRAM's initial state.

    scalar function Offline 1 overload
  • assume_no_code

    Declares that one address has no EVM runtime bytecode in a PROGRAM's initial state.

    scalar function Offline 1 overload
  • assume_nonce

    Declares the exact account nonce supplied for one address in a PROGRAM's initial state.

    scalar function Offline 1 overload
  • assume_storage

    Declares the exact 32-byte value supplied for one contract storage slot in a PROGRAM's initial state.

    scalar function Offline 1 overload