Print int with %d, not %zu.
[pintos-anon] / src / tests / threads / p1-3.c
index 3caa7f9f7ea947b840886ef63ef73aca4294a274..6c16023c61b9efa9eb03366b4cdb8b415190edee 100644 (file)
@@ -6,15 +6,15 @@
    <gmh@leland.stanford.edu>, Yu Ping Hu <yph@cs.stanford.edu>.
    Modified by arens. */
 
+#ifdef MLFQS
+#error This test not applicable with MLFQS enabled.
+#endif
+
 #include "threads/test.h"
 #include <stdio.h>
 #include "threads/synch.h"
 #include "threads/thread.h"
 
-#ifdef MLFQS
-#error This test not applicable with MLFQS enabled.
-#endif
-
 static void test_preempt (void);
 static void test_fifo (void);
 static void test_donate_return (void);
@@ -22,7 +22,7 @@ static void test_donate_return (void);
 void
 test (void) 
 {
-  /* Make sure our prority is the default. */
+  /* Make sure our priority is the default. */
   ASSERT (thread_get_priority () == PRI_DEFAULT);
 
   test_preempt ();
@@ -54,7 +54,7 @@ test_fifo (void)
           "If the order varies then there is a bug.\n");
 
   thread_set_priority (PRI_DEFAULT + 2);
-  for (i = 0; i < 5; i++) 
+  for (i = 0; i < 10; i++) 
     {
       char name[16];
       snprintf (name, sizeof name, "%d", i);