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