Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / grading / userprog / Make.tests

diff --git a/grading/userprog/Make.tests b/grading/userprog/Make.tests
deleted file mode 100644 (file)
index a1f1ec5..0000000
--- a/grading/userprog/Make.tests
+++ /dev/null
@@ -1,54 +0,0 @@
-args-argc
-args-argv0
-args-argvn
-args-single
-args-multiple
-args-dbl-space
-sc-bad-sp
-sc-bad-arg
-sc-boundary
-halt
-exit
-create-normal
-create-empty
-create-null
-create-bad-ptr
-create-long
-create-exists
-create-bound
-open-normal
-open-missing
-open-boundary
-open-empty
-open-null
-open-bad-ptr
-open-twice
-close-normal
-close-twice
-close-stdin
-close-stdout
-close-bad-fd
-read-normal
-read-bad-ptr
-read-boundary
-read-zero
-read-stdout
-read-bad-fd
-write-normal
-write-bad-ptr
-write-boundary
-write-zero
-write-stdin
-write-bad-fd
-exec-once
-exec-arg
-exec-multiple
-exec-missing
-exec-bad-ptr
-wait-simple
-wait-twice
-wait-killed
-wait-bad-pid
-multi-recurse
-multi-oom
-multi-child-fd