X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fclose-stdin.c;h=9bbf9f2fd282d207973f68c0d2ffe2b4c87757df;hb=ef3fb564a37566ab3eca293e279ce441a78e85e5;hp=0b64ef9a774ad95621efb893717aa750b7840632;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon diff --git a/src/tests/userprog/close-stdin.c b/src/tests/userprog/close-stdin.c index 0b64ef9..9bbf9f2 100644 --- a/src/tests/userprog/close-stdin.c +++ b/src/tests/userprog/close-stdin.c @@ -1,3 +1,6 @@ +/* Tries to close the keyboard input stream, which must either + fail silently or terminate with exit code -1. */ + #include #include "tests/main.h"