Print int with %d, not %zu.

[pintos-anon] / src / tests / threads / list.c

diff --git a/src/tests/threads/list.c b/src/tests/threads/list.c
index aac583f8bb2b1fd1403856c0a1270922b1fcffdc..2300bc353f170e4ec4287adbd1b597101ce22e47 100644 (file)
--- a/src/tests/threads/list.c
+++ b/src/tests/threads/list.c
@@ -41,7 +41,7 @@ test (void)
     {
       int repeat;
 
-      printf (" %zu", size);
+      printf (" %d", size);
       for (repeat = 0; repeat < 10; repeat++) 
         {
           static struct value values[MAX_SIZE * 4];
@@ -59,6 +59,14 @@ test (void)
           for (i = 0; i < size; i++)
             list_push_back (&list, &values[i].elem);
 
+          /* Verify correct minimum and maximum elements. */
+          e = list_min (&list, value_less, NULL);
+          ASSERT (size ? list_entry (e, struct value, elem)->value == 0
+                  : e == list_begin (&list));
+          e = list_max (&list, value_less, NULL);
+          ASSERT (size ? list_entry (e, struct value, elem)->value == size - 1
+                  : e == list_begin (&list));
+
           /* Sort and verify list. */
           list_sort (&list, value_less, NULL);
           verify_list_fwd (&list, size);
@@ -96,6 +104,7 @@ test (void)
     }
   
   printf (" done\n");
+  printf ("list: PASS\n");
 }
 
 /* Shuffles the CNT elements in ARRAY into random order. */