CS318 - Pintos
Pintos source browser for JHU CS318 course
pt-bad-addr.c
Go to the documentation of this file.
1 /** Accesses a bad address.
2  The process must be terminated with -1 exit code. */
3 
4 #include "tests/lib.h"
5 #include "tests/main.h"
6 
7 void
8 test_main (void)
9 {
10  fail ("bad addr read as %d", *(int *) 0x04000000);
11 }
lib.h
test_main
void test_main(void)
Accesses a bad address.
Definition: pt-bad-addr.c:8
fail
void fail(const char *format,...)
Definition: lib.c:40
main.h