random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / exec-multiple.c
1 /* Executes and waits for multiple child processes. */
2
3 #include <syscall.h>
4 #include "tests/lib.h"
5 #include "tests/main.h"
6
7 void
8 test_main (void) 
9 {
10   wait (exec ("child-simple"));
11   wait (exec ("child-simple"));
12   wait (exec ("child-simple"));
13   wait (exec ("child-simple"));
14 }