editing does not work for non-interactive provers
edit on a proof with CVC4 gives the error
There was an unrecoverable error during treatment of request:
command "edit"
with exception:
anomaly: Why3.Controller_itp.Make(S).Editor_not_found
edit on a proof with CVC4 gives the error
There was an unrecoverable error during treatment of request:
command "edit"
with exception:
anomaly: Why3.Controller_itp.Make(S).Editor_not_found