pintos-os.org Git - pintos-anon/blob - src/tests/threads/alarm-negative.c

   1 /* Tests timer_sleep(-100).  Only requirement is that it not crash. */
   2
   3 #include <stdio.h>
   4 #include "tests/threads/tests.h"
   5 #include "threads/malloc.h"
   6 #include "threads/synch.h"
   7 #include "threads/thread.h"
   8 #include "devices/timer.h"
   9
  10 void
  11 test_alarm_negative (void)
  12 {
  13   timer_sleep (-100);
  14   pass ();
  15 }