1WHY3-CPULIMIT(1)                 User Commands                WHY3-CPULIMIT(1)
2
3
4

NAME

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

SYNOPSIS

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

DESCRIPTION

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

OPTIONS

19       -h     Hide the CPU time.
20
21       -s     Show the CPU time.
22

SEE ALSO

24       why3(1),    why3bench(1),    why3config(1),   why3doc(1),   why3ide(1),
25       why3ml(1), why3realize(1), why3replayer(1)
26
27
28
29why3                                 1.4.1                    WHY3-CPULIMIT(1)
Impressum