Answer "Valid" should always have priority over other answers of provers in incremental mode
The current code in src/driver/call_provers.ml
, function analyse
, should always take answer "Valid" when it occurs in a list of answers
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
The current code in src/driver/call_provers.ml
, function analyse
, should always take answer "Valid" when it occurs in a list of answers