Make tests public. Rewrite most tests. Add tests.
[pintos-anon] / src / tests / userprog / child-simple.c
1 #include <stdio.h>
2 #include "tests/lib.h"
3
4 const char *test_name = "child-simple";
5
6 int
7 main (void) 
8 {
9   msg ("run");
10   return 81;
11 }