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