fn should_generate_verify(&self, func_target: &FunctionTarget<'_>) -> bool {
        if func_target.func_env.module_env.is_dependency() {
            // Never generate verify method for functions from dependencies.
            return false;
        }
        // We look up the `verify` pragma property first in this function, then in
        // the module, and finally fall back to the value of option `--verify`.
        let default = || match self.options.prover.verify_scope {
            VerificationScope::Public => func_target.func_env.is_public(),
            VerificationScope::All => true,
            VerificationScope::None => false,
        };
        func_target.is_pragma_true("verify", default)
    }
/// Determines whether we should generate the `_verify` entry point for a function, which
/// triggers its standalone verification.
Determines whether we should generate the `_verify` entry point for a function, which
triggers its standalone verification.
Determines whether we should generate the ` _verify ` entry point for a function which triggers its standalone verification .
fn should_generate_verify(&self, func_target: &FunctionTarget<'_>) -> bool {
        if func_target.func_env.module_env.is_dependency() {
            // Never generate verify method for functions from dependencies.
            return false;
        }
        // We look up the `verify` pragma property first in this function, then in
        // the module, and finally fall back to the value of option `--verify`.
        let default = || match self.options.prover.verify_scope {
            VerificationScope::Public => func_target.func_env.is_public(),
            VerificationScope::All => true,
            VerificationScope::None => false,
        };
        func_target.is_pragma_true("verify", default)
    }
fn should_generate_verify ( & self , func_target : & FunctionTarget < ' _ > ) -> bool { if func_target . func_env . module_env . is_dependency ( ) { // Never generate verify method for functions from dependencies. return false ; } // We look up the `verify` pragma property first in this function, then in // the module, and finally fall back to the value of option `--verify`. let default = | | match self . options . prover . verify_scope { VerificationScope :: Public => func_target . func_env . is_public ( ) , VerificationScope :: All => true , VerificationScope :: None => false , } ; func_target . is_pragma_true ( " " , default ) }
Determines whether we should generate the `_verify` entry point for a function, which
triggers its standalone verification.
Determines whether we should generate the ` _verify ` entry point for a function which triggers its standalone verification .
&self
func_target
&FunctionTarget<'_>
&self
func_target
&FunctionTarget<'_>