Make tests public. Rewrite most tests. Add tests.

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

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