X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Falarm-single.c;h=ebed46f6d801c797423eda1e0370511a580e405f;hb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;hp=aff206467e771242c1becf9ebe67f376946c5faf;hpb=c4df6186aaebe94436efe49f42149bb90f084d73;p=pintos-anon

diff --git a/grading/threads/alarm-single.c b/grading/threads/alarm-single.c
index aff2064..ebed46f 100644
--- a/grading/threads/alarm-single.c
+++ b/grading/threads/alarm-single.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, 1);
 }