X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fcreate-null.exp;h=a853b05d525c8ab5de7fb50bf30db3fd656303c4;hb=ab407568bb7d7e8bef6abc0020619b7237853f50;hp=2250356a3c2bde1d33d2c71b0f4a63d2f8a3de4e;hpb=b9d904d1c1e432950f81e8cd8e4b5e8d134fc8e8;p=pintos-anon

diff --git a/grading/userprog/create-null.exp b/grading/userprog/create-null.exp
index 2250356..a853b05 100644
--- a/grading/userprog/create-null.exp
+++ b/grading/userprog/create-null.exp
@@ -1,3 +1,6 @@
 (create-null) begin
 (create-null) end
 create-null: exit(0)
+--OR--
+(create-null) begin
+create-null: exit(-1)