fuel_vm::interpreter::predicates

Function check_predicates_async

source 
pub async fn check_predicates_async<Tx, E>(
    checked: &Checked<Tx>,
    params: &CheckPredicateParams,
    pool: &impl VmMemoryPool,
    storage: &impl PredicateStorageProvider,
) -> Result<PredicatesChecked, PredicateVerificationFailed>
where
    Tx: ExecutableTransaction + Send + 'static,
    <Tx as IntoChecked>::Metadata: CheckedMetadata,
    E: ParallelExecutor,
Expand description

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

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