fa26b43e37bf791b81d92ca789d293fe8c8109e1
[pintos-anon] / src / tests / userprog / create-empty.c
1 /* Tries to create a file with the empty string as its name. */
2
3 #include "tests/lib.h"
4 #include "tests/main.h"
5
6 void
7 test_main (void) 
8 {
9   msg ("create(\"\"): %d", create ("", 0));
10 }