Pintos: pintos/src/tests/userprog/exit.c Source File

00001 /* Tests the exit system call. */
00002 
00003 #include "tests/lib.h"
00004 #include "tests/main.h"
00005 
00006 void
00007 test_main (void) 
00008 {
00009   exit (57);
00010   fail ("should have called exit(57)");
00011 }