Add more tests.
[pintos-anon] / grading / userprog / write-stdin.exp
diff --git a/grading/userprog/write-stdin.exp b/grading/userprog/write-stdin.exp
new file mode 100644 (file)
index 0000000..bee46e0
--- /dev/null
@@ -0,0 +1,6 @@
+(write-stdin) begin
+(write-stdin) end
+write-stdin: exit(0)
+--OR--
+(write-stdin) begin
+write-stdin: exit(-1)