Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / grading / userprog / exit.exp

diff --git a/grading/userprog/exit.exp b/grading/userprog/exit.exp
deleted file mode 100644 (file)
index 00e83e8..0000000
--- a/grading/userprog/exit.exp
+++ /dev/null
@@ -1,2 +0,0 @@
-(exit) begin
-exit: exit(57)