student-distrib/tests.c
void dereferencing_null(){
	TEST_HEADER;
	int *ptr = NULL;
	int x;
	x = *ptr;
}
/* dereferencing a null ptr
 *
 * see if pagefault
 * Inputs: None
 * Outputs: none
 * Side Effects: pagefault
 *
 */
dereferencing a null ptr
see if pagefault
Inputs: None
Outputs: none
Side Effects: pagefault
dereferencing a null ptr see if pagefault Inputs : None Outputs : none Side Effects : pagefault
void dereferencing_null(){
	TEST_HEADER;
	int *ptr = NULL;
	int x;
	x = *ptr;
}
void dereferencing_null ( ) { TEST_HEADER ; int * ptr = NULL ; int x ; x = * ptr ; }
dereferencing a null ptr
 see if pagefault
 Inputs: None
 Outputs: none
 Side Effects: pagefault
dereferencing a null ptr see if pagefault Inputs : None Outputs : none Side Effects : pagefault