Skip to content

Handling prover exceptions

Raphael Toledo requested to merge raph@exceptions into master

So far, the prover returns None in case of failure. This MR is to update the prover to return the proof directly and for the helpers function to handle such errors.

Merge request reports