• Andrei Paskevich's avatar
    cpulimit-win: produce the same output as cpulimit.c · 2946eca7
    Andrei Paskevich authored
    Drivers that parse the cpulimit output expect a line of the form
    "why3cpulimit time : XXX s" for the total cpu time of the prover run.
    
    The Win version of cpulimit prints an additional line
    "why3cpulimit real time : XXX s" for the wall-clock time.
    This line is ignored by drivers, since we use the cpu time
    and not the real time to establish time limits.
    2946eca7
Name
Last commit
Last update
..
coq-tactic Loading commit data...
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer Loading commit data...
session Loading commit data...
tools Loading commit data...
transform Loading commit data...
trywhy3 Loading commit data...
util Loading commit data...
why3doc Loading commit data...
why3session Loading commit data...
whyml Loading commit data...
config.sh.in Loading commit data...