random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / close-normal.c
1 /* Opens a file and then closes it. */
2
3 #include <syscall.h>
4 #include "tests/lib.h"
5 #include "tests/main.h"
6
7 void
8 test_main (void) 
9 {
10   int handle;
11   CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
12   msg ("close \"sample.txt\"");
13   close (handle);
14 }