X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Ftest.c;h=694ea0b98c1b8706d3afe8cff9864221bf9b2231;hb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;hp=2aeb91001aaa5351d396874a6ac7051d3e0da9c0;hpb=27e2fa0176f088ee129a65130322574f3807c67c;p=pintos-anon

diff --git a/src/threads/test.c b/src/threads/test.c
index 2aeb910..694ea0b 100644
--- a/src/threads/test.c
+++ b/src/threads/test.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);
+
   /* Easy test: 5 threads sleep once each. */
   test_sleep (5, 1);
 
@@ -134,6 +133,7 @@ test_sleep (int thread_cnt, int iterations)
   
   printf ("Test complete.\n");
 
+  lock_release (&test.output_lock);
   free (output);
   free (threads);
 }