why3-cpulimit man page

why3-cpulimit TIME MEMORY -h|-s command args...

Run a command with CPU and virtual memory limits.  One of -h or -s must be specified.  TIME specifies the maximum runtime in seconds.  MEMORY specifies the maximum virtual memory use in megabytes.  In both cases, a limit of zero means that no limit should be set; i.e., the existing system limit is in effect.

-h

Hide the CPU time.

-s

Show the CPU time.

why3(1), why3bench(1), why3config(1), why3doc(1), why3ide(1), why3ml(1), why3realize(1), why3replayer(1)

why3(1), why3bench(1), why3config(1), why3doc(1), why3ide(1), why3ml(1), why3realize(1), why3replayer(1).