Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / grading / userprog / sc-bad-sp.exp

diff --git a/grading/userprog/sc-bad-sp.exp b/grading/userprog/sc-bad-sp.exp
deleted file mode 100644 (file)
index 4d72143..0000000
--- a/grading/userprog/sc-bad-sp.exp
+++ /dev/null
@@ -1,2 +0,0 @@
-(sc-bad-sp) begin
-sc-bad-sp: exit(-1)