pub fn prove_step(input: StepInput, options: &ProofOptions) -> ReceiptExpand description
Analyze a whole step boundary: command stream first, then all supplied file commands.
pub fn prove_step(input: StepInput, options: &ProofOptions) -> ReceiptAnalyze a whole step boundary: command stream first, then all supplied file commands.