src/tests/userprog/halt.c


1
2
3
4
5
6
7
8
9
10
11

/* Tests the halt system call. */

#include "tests/lib.h"
#include "tests/main.h"

void
test_main (void) 
{
  halt ();
  fail ("should have halted");
}