X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-clean.c;h=ea1dc9cb09ba54c795ee298c03eca32cfce4928c;hb=99eb1759eb5a6c39e5410f1c1d907648aa393b55;hp=c01f69cf3cb75aca8bf1b56fba6d9d3b17d19273;hpb=42a67e9ac6854ec56c35c82e1ad9c4e2c8662139;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"