-/* 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");
}