Resolve "Fix detection of [prover] section in configuration file" (!653) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab

MOREAU Solene requested to merge 631-fix-detection-of-prover-section-in-configuration-file into master Apr 01, 2022

Closes #631 (closed)

Edited Apr 05, 2022 by MARCHE Claude