Skip to main content

prove_step

Function prove_step 

Source
pub fn prove_step(input: StepInput, options: &ProofOptions) -> Receipt
Expand description

Analyze a whole step boundary: command stream first, then all supplied file commands.