PKUOS - Pintos
Pintos source browser for PKU Operating System course
Functions
pt-bad-addr.c File Reference
#include "tests/lib.h"
#include "tests/main.h"
Include dependency graph for pt-bad-addr.c:

Go to the source code of this file.

Functions

void test_main (void)
 Accesses a bad address. More...
 

Function Documentation

◆ test_main()

void test_main ( void  )

Accesses a bad address.

tests/main.h

The process must be terminated with -1 exit code.

Definition at line 8 of file pt-bad-addr.c.

References fail().

Here is the call graph for this function: