PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <random.h>
#include <string.h>
#include <syscall.h>
#include "tests/lib.h"
#include "tests/main.h"
Go to the source code of this file.
Functions | |
void | test_main (void) |
tests/main.h More... | |
Variables | |
char | buf1 [1234] |
Verifies that a deleted file may still be written to and read from. More... | |
char | buf2 [1234] |
void test_main | ( | void | ) |
char buf1[1234] |
Verifies that a deleted file may still be written to and read from.
Definition at line 10 of file syn-remove.c.
Referenced by test_main().
char buf2[1234] |
Definition at line 11 of file syn-remove.c.
Referenced by test_main().