Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / grading / userprog / args-dbl-space.exp

diff --git a/grading/userprog/args-dbl-space.exp b/grading/userprog/args-dbl-space.exp
deleted file mode 100644 (file)
index 531bddf..0000000
--- a/grading/userprog/args-dbl-space.exp
+++ /dev/null
@@ -1,2 +0,0 @@
-(args-dbl-space) success
-args-dbl-space: exit(0)