alarm-negative.c

Go to the documentation of this file.

/** Tests timer_sleep(-100).  Only requirement is that it not crash. */
 
#include <stdio.h>
#include "tests/threads/tests.h"
#include "threads/malloc.h"
#include "threads/synch.h"
#include "threads/thread.h"
#include "devices/timer.h"
 
void
test_alarm_negative (void) 
{
  timer_sleep (-100);
  pass ();
}