7a2278a516a88b6ffba0749e041069f50bef3a36
[pintos-anon] / src / tests / vm / mmap-exit.c
1 /* Executes child-mm-wrt and verifies that the writes that should
2    have occurred really did. */
3
4 #include <syscall.h>
5 #include "tests/vm/sample.inc"
6 #include "tests/lib.h"
7 #include "tests/main.h"
8
9 void
10 test_main (void)
11 {
12   pid_t child;
13
14   /* Make child write file. */
15   quiet = true;
16   CHECK ((child = exec ("child-mm-wrt")) != -1, "exec \"child-mm-wrt\"");
17   CHECK (wait (child) == 0, "wait for child (should return 0)");
18   quiet = false;
19
20   /* Check file contents. */
21   check_file ("sample.txt", sample, sizeof sample);
22 }