pub fn verify<Mode: ExecutionMode>(
_env: &Env<'_, '_, '_, '_>,
txn: &Transaction,
) -> Result<(), ExecutionError>
Expand description
Verifies two properties for input objects:
- That the
Pure
inputs can be serialized to the type inferred and that the type is permissible- Can be relaxed under certain execution modes
- That any
Object
arguments are used validly. This means mutable references are taken only on mutable objects. And that the gas coin is only taken by value in transfer objects