Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / tests / userprog / rox-child.c

diff --git a/src/tests/userprog/rox-child.c b/src/tests/userprog/rox-child.c
new file mode 100644 (file)
index 0000000..257c4d9
--- /dev/null
+++ b/src/tests/userprog/rox-child.c
@@ -0,0 +1,2 @@
+#define CHILD_CNT "1"
+#include "tests/userprog/rox-child.inc"