X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fcreate-long.c;h=16b31bd5e227e0d314d569888c926d665b840cba;hb=42a67e9ac6854ec56c35c82e1ad9c4e2c8662139;hp=005a8b86292386e1824eb7c382ac91f16e43e852;hpb=ff8effb2f514ca54a594074e1cc33b22a1978050;p=pintos-anon diff --git a/src/tests/userprog/create-long.c b/src/tests/userprog/create-long.c index 005a8b8..16b31bd 100644 --- a/src/tests/userprog/create-long.c +++ b/src/tests/userprog/create-long.c @@ -1,3 +1,6 @@ +/* Tries to create a file with a name that is much too long, + which must fail. */ + #include #include #include "tests/lib.h"