X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-exit.c;h=7a2278a516a88b6ffba0749e041069f50bef3a36;hb=fd36e1fee6a7f98bfbc13aa20f0ee7d3aeab72ef;hp=202e3c45ce53114cf87306f04a805d976b752fa3;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon diff --git a/src/tests/vm/mmap-exit.c b/src/tests/vm/mmap-exit.c index 202e3c4..7a2278a 100644 --- a/src/tests/vm/mmap-exit.c +++ b/src/tests/vm/mmap-exit.c @@ -1,3 +1,6 @@ +/* Executes child-mm-wrt and verifies that the writes that should + have occurred really did. */ + #include #include "tests/vm/sample.inc" #include "tests/lib.h"