Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / grading / userprog / read-boundary.c

diff --git a/grading/userprog/read-boundary.c b/grading/userprog/read-boundary.c
deleted file mode 100644 (file)
index 1fd187f..0000000
--- a/grading/userprog/read-boundary.c
+++ /dev/null
@@ -1,41 +0,0 @@
-#include <inttypes.h>
-#include <stdio.h>
-#include <string.h>
-#include <syscall.h>
-#include "sample.inc"
-
-static char *
-mk_boundary_string (const char *src) 
-{
-  static char dst[8192];
-  char *p = dst + (4096 - (uintptr_t) dst % 4096 - strlen (src) / 2);
-  strlcpy (p, src, 4096);
-  return p;
-}
-
-int
-main (void) 
-{
-  int handle;
-  int byte_cnt;
-  char *actual_p;
-
-  actual_p = mk_boundary_string (sample);
-
-  printf ("(read-boundary) begin\n");
-
-  handle = open ("sample.txt");
-  if (handle < 2)
-    printf ("(read-boundary) fail: open() returned %d\n", handle);
-
-  byte_cnt = read (handle, actual_p, sizeof sample - 1);
-  if (byte_cnt != sizeof sample - 1)
-    printf ("(read-boundary) fail: read() returned %d instead of %zu\n",
-            byte_cnt, sizeof sample - 1);
-  else if (strcmp (sample, actual_p))
-    printf ("(read-boundary) fail: expected text differs from actual:\n%s",
-            actual_p);
-  
-  printf ("(read-boundary) end\n");
-  return 0;
-}