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

Go to the source code of this file.

Functions

void test_main (void)
 This program attempts to read memory at an address that is not mapped. More...
 

Function Documentation

◆ test_main()

void test_main ( void  )

This program attempts to read memory at an address that is not mapped.

tests/main.h

This should terminate the process with a -1 exit code.

Definition at line 8 of file bad-read.c.

References fail(), msg(), and NULL.

Here is the call graph for this function: