diff options
Diffstat (limited to 'tests/userprog/exit.c')
| -rw-r--r-- | tests/userprog/exit.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/userprog/exit.c b/tests/userprog/exit.c new file mode 100644 index 0000000..cb4eb8f --- /dev/null +++ b/tests/userprog/exit.c | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | /* Tests the exit system call. */ | ||
| 2 | |||
| 3 | #include "tests/lib.h" | ||
| 4 | #include "tests/main.h" | ||
| 5 | |||
| 6 | void | ||
| 7 | test_main (void) | ||
| 8 | { | ||
| 9 | exit (57); | ||
| 10 | fail ("should have called exit(57)"); | ||
| 11 | } | ||
