X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Fuserprog%2Fcreate-bad-ptr.c;h=4a07bb3b7f807c10e42254d155990f325cb8e108;hb=424970679fb7dec648531888ae26919b784de1b6;hp=f5df1f01d1fd6f37250b0e954d325c17a145c64e;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/create-bad-ptr.c b/src/tests/userprog/create-bad-ptr.c
index f5df1f0..4a07bb3 100644
--- a/src/tests/userprog/create-bad-ptr.c
+++ b/src/tests/userprog/create-bad-ptr.c
@@ -1,3 +1,7 @@
+/* Passes a bad pointer to the create system call,
+   which must cause the process to be terminated with exit code
+   -1. */
+
 #include "tests/lib.h"
 #include "tests/main.h"