-
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
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.