Mentions légales du service

Skip to content
  • 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