Function varisat::proof::handle_self_check_result

fn handle_self_check_result<'a>(
    ctx: Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>, 
    result: Result<(), CheckerError>
)

Handle results of on the fly checking.

Panics when the proof is incorrect and aborts solving when a proof processor produced an error.