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

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