Pintos: pintos/src/tests/threads/alarm-negative.c Source File

00001 /* Tests timer_sleep(-100).  Only requirement is that it not crash. */
00002 
00003 #include <stdio.h>
00004 #include "tests/threads/tests.h"
00005 #include "threads/malloc.h"
00006 #include "threads/synch.h"
00007 #include "threads/thread.h"
00008 #include "devices/timer.h"
00009 
00010 void
00011 test_alarm_negative (void) 
00012 {
00013   timer_sleep (-100);
00014   pass ();
00015 }