bool create(const char *file, unsigned initial_size)
int open(const char *file)
int write(int fd, const void *buffer, unsigned size)
int pid_t
Process identifier.
void msg(const char *format,...)
void wait_children(pid_t pids[], size_t child_cnt)
void exec_children(const char *child_name, pid_t pids[], size_t child_cnt)
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
void random_bytes(void *buf_, size_t size)
Writes SIZE random bytes into BUF.
void test_main(void)
tests/main.h
static char buf[BUF_SIZE]
Spawns 10 child processes, all of which read from the same file and make sure that the contents are w...
static const char file_name[]
tests/filesys/base/syn-read.h