X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Fvm%2Fpt-write-code-2.c;h=83bcc2c3b620e416f4736d013f3ce8b7af89b564;hb=a69e1123a5e1fc3d09af11b0dc3281c5f22a1382;hp=282667ad629ab8422f652f9fb2fde381ceeac324;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/vm/pt-write-code-2.c b/src/tests/vm/pt-write-code-2.c index 282667a..83bcc2c 100644 --- a/src/tests/vm/pt-write-code-2.c +++ b/src/tests/vm/pt-write-code-2.c @@ -1,3 +1,6 @@ +/* Try to write to the code segment using a system call. + The process must be terminated with -1 exit code. */ + #include "tests/lib.h" #include "tests/main.h"