Add more tests, results.

[pintos-anon] / grading / filesys / syn-read.c

diff --git a/grading/filesys/syn-read.c b/grading/filesys/syn-read.c
index d050db7dc4e798b2ec7c6910d9a8c9f16fcd12c7..cdc7f189b56dd3e91390b91c2c9d4ab40cd8b54c 100644 (file)
--- a/grading/filesys/syn-read.c
+++ b/grading/filesys/syn-read.c
@@ -2,17 +2,17 @@
 #include <stdio.h>
 #include <syscall.h>
 #include "fslib.h"
+#include "syn-read.h"
 
 const char test_name[] = "syn-read";
 
-static char buf[1024];
+static char buf[BUF_SIZE];
 
 #define CHILD_CNT 10
 
 void
 test_main (void) 
 {
-  const char *filename = "data";
   pid_t children[CHILD_CNT];
   int fd;
   int i;
@@ -27,10 +27,9 @@ test_main (void)
   for (i = 0; i < CHILD_CNT; i++) 
     {
       char cmd_line[128];
-      snprintf (cmd_line, sizeof cmd_line,
-                "child-syn-read %d %zu", i, sizeof buf);
+      snprintf (cmd_line, sizeof cmd_line, "child-syn-read %d", i);
       check ((children[i] = exec (cmd_line)) != PID_ERROR,
-             "exec \"%s\"", cmd_line);
+             "exec child %d of %d: \"%s\"", i + 1, (int) CHILD_CNT, cmd_line);
     }
 
   for (i = 0; i < CHILD_CNT; i++)