blob: 16d15cc20f71e088587ef07a92dcf726789dbe20 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
/* Try reading a file in the most normal way. */
#include "tests/userprog/sample.inc"
#include "tests/lib.h"
#include "tests/main.h"
void
test_main (void)
{
check_file ("sample.txt", sample, sizeof sample - 1);
}
|