|
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.
