Make tests public. Rewrite most tests. Add tests.
[pintos-anon] / src / tests / userprog / sc-bad-sp.c
1 #include "tests/lib.h"
2 #include "tests/main.h"
3
4 void
5 test_main (void) 
6 {
7   asm volatile ("mov %esp, 0x20101234; int 0x30");
8   fail ("should have called exit(-1)");
9 }