Make tests public. Rewrite most tests. Add tests.
[pintos-anon] / grading / threads / alarm-negative.c
diff --git a/grading/threads/alarm-negative.c b/grading/threads/alarm-negative.c
deleted file mode 100644 (file)
index a627b9b..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-/* Problem 1-1: Alarm Clock tests.
-
-   Tests timer_sleep(-100).  Only requirement is that it not crash. */
-
-#include "threads/test.h"
-#include <stdio.h>
-#include "threads/malloc.h"
-#include "threads/synch.h"
-#include "threads/thread.h"
-#include "devices/timer.h"
-
-void
-test (void) 
-{
-  printf ("\n"
-          "Testing timer_sleep(-100).\n");
-  timer_sleep (-100);
-  printf ("Success.\n");
-}