X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fhalt.c;h=4a99bce04600aca879d1c46bc8380d799c80d100;hb=630c9d0bcc3d6b79aad829aaef4ad22a6e3cb435;hp=bad7250772f2856db66dd455231705483e27bb67;hpb=d46fd132092304422193b717d9a60641604cc1b5;p=pintos-anon

diff --git a/src/tests/userprog/halt.c b/src/tests/userprog/halt.c
index bad7250..4a99bce 100644
--- a/src/tests/userprog/halt.c
+++ b/src/tests/userprog/halt.c
@@ -1,14 +1,11 @@
-/* halt.c
+/* Tests the halt system call. */
 
-   Simple program to test whether running a user program works.
- 	
-   Just invokes a system call that shuts down the OS. */
+#include "tests/lib.h"
+#include "tests/main.h"
 
-#include <syscall.h>
-
-int
-main (void)
+void
+test_main (void) 
 {
   halt ();
-  /* not reached */
+  fail ("should have halted");
 }