X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fhalt.c;h=b4fd9e1068b14f14d16e5d7fe50857ab8f451286;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=bad7250772f2856db66dd455231705483e27bb67;hpb=5780c9f434cca090f88463b7f0199d49b4ded288;p=pintos-anon

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