a68881897b65f0a2fb6e7084ea89bf03826df084
[pintos-anon] / src / tests / userprog / read-normal.c
1 #include "tests/userprog/sample.inc"
2 #include "tests/lib.h"
3 #include "tests/main.h"
4
5 void
6 test_main (void) 
7 {
8   check_file ("sample.txt", sample, sizeof sample - 1);
9 }