X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-clean.c;h=ea1dc9cb09ba54c795ee298c03eca32cfce4928c;hb=500278652b3d3ec6ba08c150e749b65ca4a5d208;hp=c01f69cf3cb75aca8bf1b56fba6d9d3b17d19273;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/vm/mmap-clean.c b/src/tests/vm/mmap-clean.c index c01f69c..ea1dc9c 100644 --- a/src/tests/vm/mmap-clean.c +++ b/src/tests/vm/mmap-clean.c @@ -1,3 +1,6 @@ +/* Verifies that mmap'd regions are only written back on munmap + if the data was actually modified in memory. */ + #include #include #include "tests/vm/sample.inc"