• 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
bench Loading commit data...
bin Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.merlin.in Loading commit data...
AUTHORS Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...