-
Johannes Kanig authored
Instead, the call to why3-cpulimit is added in Call_provers, when requested. The arguments for why3-cpulimit are now computed depending on the command line and if the prover is interactive or not.
a8118e80
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Instead, the call to why3-cpulimit is added in Call_provers, when requested. The arguments for why3-cpulimit are now computed depending on the command line and if the prover is interactive or not.