fuel_vm::interpreter::predicates

Function check_predicates

source 
pub fn check_predicates<Tx>(
    checked: &Checked<Tx>,
    params: &CheckPredicateParams,
    memory: impl Memory,
    storage: &impl PredicateStorageRequirements,
) -> Result<PredicatesChecked, PredicateVerificationFailed>
where
    Tx: ExecutableTransaction,
    <Tx as IntoChecked>::Metadata: CheckedMetadata,
Expand description

Initialize the VM with the provided transaction and check all predicates defined in the inputs.

The storage provider is not used since contract opcodes are not allowed for predicates.