X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fmmap-remove.c;h=5f7444d99b7a25ccc8260d0d9cd6e05a95c287d5;hb=1a6d3a6561026958c9d1150a4022907a0e3cde27;hp=0964e4700e929d2c5e2eaced0b1f61d2ce6d4098;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon diff --git a/src/tests/vm/mmap-remove.c b/src/tests/vm/mmap-remove.c index 0964e47..5f7444d 100644 --- a/src/tests/vm/mmap-remove.c +++ b/src/tests/vm/mmap-remove.c @@ -1,3 +1,6 @@ +/* Deletes and closes file that is mapped into memory + and verifies that it can still be read through the mapping. */ + #include #include #include "tests/vm/sample.inc"