X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Falarm-multiple.c;h=f5085c0e60542bb314c78dbfebb1bf168ab4a55e;hb=05a5604be6df472e30d2495d3187259da2e380b8;hp=aaa3cc84225fc47ab18a1727ded478e0c598260c;hpb=24a570e28d45a8ec1dfb0e83abb78c488155e149;p=pintos-anon

diff --git a/grading/threads/alarm-multiple.c b/grading/threads/alarm-multiple.c
index aaa3cc8..f5085c0 100644
--- a/grading/threads/alarm-multiple.c
+++ b/grading/threads/alarm-multiple.c
@@ -11,15 +11,14 @@
 #include "threads/thread.h"
 #include "devices/timer.h"
 
-#ifdef MLFQS
-#error This test not applicable with MLFQS enabled.
-#endif
-
 static void test_sleep (int thread_cnt, int iterations);
 
 void
 test (void) 
 {
+  /* This test does not work with the MLFQS. */
+  ASSERT (!enable_mlfqs);
+
   test_sleep (5, 7);
 }
 
@@ -130,6 +129,7 @@ test_sleep (int thread_cnt, int iterations)
   
   printf ("Test complete.\n");
 
+  lock_release (&test.output_lock);
   free (output);
   free (threads);
 }