Function bytecode::verification_analysis::is_invariant_checking_disabled

source · 
pub fn is_invariant_checking_disabled(fun_env: &FunctionEnv<'_>) -> bool