pub fn verify<Mode: ExecutionMode>(
env: &Env<'_, '_, '_, '_>,
txn: &Transaction,
) -> Result<(), ExecutionError>
Expand description
Checks the following
- entry function taint rules
- valid visibility for move function calls
- Can be disabled under certain execution modes
- private generics rules for move function calls
- no references returned from move calls
- Can be disabled under certain execution modes