PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Typedefs | |
typedef int(*volatile | functionptr) (void) |
This program attempts to execute code at address 0, which is not mapped. More... | |
Functions | |
void | test_main (void) |
tests/main.h More... | |
typedef int(*volatile functionptr) (void) |
This program attempts to execute code at address 0, which is not mapped.
This should terminate the process with a -1 exit code.
Definition at line 7 of file bad-jump.c.
void test_main | ( | void | ) |
This must fail, because that directory is non-empty.
This must fail.
Then delete most of them, for two reasons. First, "tar" limits file names to 100 characters (which could be extended to 256 without much trouble). Second, a full disk has no room for the tar archive.
Definition at line 10 of file bad-jump.c.
References fail(), msg(), and NULL.