diff options
Diffstat (limited to 'tests/userprog/wait-killed.c')
| -rw-r--r-- | tests/userprog/wait-killed.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/userprog/wait-killed.c b/tests/userprog/wait-killed.c new file mode 100644 index 0000000..6a2a6b5 --- /dev/null +++ b/tests/userprog/wait-killed.c | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | /* Wait for a process that will be killed for bad behavior. */ | ||
| 2 | |||
| 3 | #include <syscall.h> | ||
| 4 | #include "tests/lib.h" | ||
| 5 | #include "tests/main.h" | ||
| 6 | |||
| 7 | void | ||
| 8 | test_main (void) | ||
| 9 | { | ||
| 10 | msg ("wait(exec()) = %d", wait (exec ("child-bad"))); | ||
| 11 | } | ||
