Skip to main content

execute_reader_with_references

proofframe

Function execute_reader_with_references 

Source 
pub fn execute_reader_with_references<R>(
    reader: R,
    plan: &CompiledContract,
    options: &ExecutionOptions,
    references: ReferenceBindings,
) -> Result<FastValidationReport, ProofFrameError>
where
    R: RecordBatchReader,
Expand description

Execute a compiled contract whose reference rules resolve against references.

A contract with no reference rules and empty bindings behaves exactly like execute_reader; any other mismatch between rules and bindings is an error.