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

Go to the source code of this file.

Functions

void test_main (void)
 Tests the halt system call. More...
 

Function Documentation

◆ test_main()

void test_main ( void  )

Tests the halt system call.

tests/main.h

Definition at line 7 of file halt.c.

References fail(), and halt().

Here is the call graph for this function: