30 "write %d bytes at offset %zu in \"%s\"",
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 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.
static const char file_name[]
tests/filesys/base/syn-read.h
void test_main(void)
tests/main.h
char buf[BUF_SIZE]
Grows a file in chunks while subprocesses read the growing file.