PKUOS - Pintos
Pintos source browser for PKU Operating System course
grow-create.c
Go to the documentation of this file.
1/** Create a file of size 0. */
2
3#define TEST_SIZE 0
4#include "tests/filesys/create.inc"