Add explanatory comments to userprog tests.

[pintos-anon] / src / tests / userprog / create-bad-ptr.c

diff --git a/src/tests/userprog/create-bad-ptr.c b/src/tests/userprog/create-bad-ptr.c
index f5df1f01d1fd6f37250b0e954d325c17a145c64e..4a07bb3b7f807c10e42254d155990f325cb8e108 100644 (file)
--- 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"