why3-cpulimit - Man Page
run a command with CPU and virtual memory limits
Synopsis
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).
1.3.3 why3