PKUOS - Pintos
Pintos source browser for PKU Operating System course
exit.c
Go to the documentation of this file.
1/** Tests the exit system call. */
2
3#include "tests/lib.h"
4#include "tests/main.h"
5
6void
7test_main (void)
8{
9 exit (57);
10 fail ("should have called exit(57)");
11}
void test_main(void)
Tests the exit system call.
Definition: exit.c:7
void exit(int status)
Definition: syscall.c:72
void fail(const char *format,...)
Definition: lib.c:40