Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
b8331451
Commit
b8331451
authored
Mar 29, 2011
by
François Bobot
Browse files
why3-cpulimit : use long instead of int
parent
724e689c
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/tools/cpulimit.c
View file @
b8331451
...
...
@@ -30,7 +30,7 @@
#include
<sys/wait.h>
int
main
(
int
argc
,
char
*
argv
[])
{
int
timelimit
,
memlimit
;
long
timelimit
,
memlimit
;
int
showtime
,
hidetime
;
struct
rlimit
res
;
...
...
@@ -71,7 +71,7 @@ int main(int argc, char *argv[]) {
}
/* get time limit in seconds from command line */
timelimit
=
ato
i
(
argv
[
1
]);
timelimit
=
ato
l
(
argv
[
1
]);
if
(
timelimit
>
0
)
{
/* set the CPU time limit */
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment