why3-cpulimit man page

why3-cpulimit — run a command with CPU and virtual memory limits

Synopsis

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

Description

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.

Options

-h
Hide the CPU time.
-s
Show the CPU time.

See Also

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

Referenced By

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

0.87.2 why3 User Commands