Rename .cvsignore files to .gitignore.

[pintos-anon] / src / tests / userprog / halt.c

diff --git a/src/tests/userprog/halt.c b/src/tests/userprog/halt.c
index bad7250772f2856db66dd455231705483e27bb67..4a99bce04600aca879d1c46bc8380d799c80d100 100644 (file)
--- 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");
 }