Closed mrmr1993 closed 1 year ago
This PR adds versions of run_and_check and check that don't capture the exception in an Or_error.t, instead allowing the exception itself to propagate. This allows e.g. SnarkyJS to handle the errors more directly.
run_and_check
check
Or_error.t
This PR adds versions of
run_and_checkandcheckthat don't capture the exception in anOr_error.t, instead allowing the exception itself to propagate. This allows e.g. SnarkyJS to handle the errors more directly.