PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
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
6
void
7
test_main
(
void
)
8
{
9
exit
(57);
10
fail
(
"should have called exit(57)"
);
11
}
test_main
void test_main(void)
Tests the exit system call.
Definition:
exit.c:7
exit
void exit(int status)
Definition:
syscall.c:72
fail
void fail(const char *format,...)
Definition:
lib.c:40
lib.h
main.h
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2
1.9.2