• Sylvain Dailler's avatar
    QC06-011 Adapt b18ffc3 for Why3 master · fe261a9b
    Sylvain Dailler authored
    This adapts the ConnectionError exception to output a nice message in Why3
    
    * src/driver/prove_client.ml
    Register the new exception so that it is nicely printed.
    
    Change-Id: I9483fd0bf2561eaed007432b1eb982e7fd086486
    (cherry picked from commit 4df80c1501cf304f1e20981bdb5f6f4e0b258b44)
    fe261a9b
Name
Last commit
Last update
bench Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
stdlib Loading commit data...
tests Loading commit data...
.dockerignore Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
.merlin.in Loading commit data...
.ocp-indent Loading commit data...
AUTHORS Loading commit data...
CHANGES.md Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL.md Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README.md Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
autogen.sh Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...