1 files changed, 0 insertions, 33 deletions

diff --git a/pintos-progos/tests/userprog/rox-child.inc b/pintos-progos/tests/userprog/rox-child.inc
deleted file mode 100644
index 1e2ade9..0000000
--- a/pintos-progos/tests/userprog/rox-child.inc
+++ /dev/null
@@ -1,33 +0,0 @@
-/* -*- c -*- */
-
-#include <syscall.h>
-#include "tests/lib.h"
-#include "tests/main.h"
-
-void
-test_main (void) 
-{
-  const char *child_cmd = "child-rox " CHILD_CNT;
-  int handle;
-  pid_t child;
-  char buffer[16];
-
-  /* Open child-rox, read from it, write back same data. */
-  CHECK ((handle = open ("child-rox")) > 1, "open \"child-rox\"");
-  CHECK (read (handle, buffer, sizeof buffer) == (int) sizeof buffer,
-         "read \"child-rox\"");
-  seek (handle, 0);
-  CHECK (write (handle, buffer, sizeof buffer) == (int) sizeof buffer,
-         "write \"child-rox\"");
-
-  /* Execute child-rox and wait for it. */
-  CHECK ((child = exec (child_cmd)) != -1, "exec \"%s\"", child_cmd);
-  quiet = true;
-  CHECK (wait (child) == 12, "wait for child");
-  quiet = false;
-
-  /* Write to child-rox again. */
-  seek (handle, 0);
-  CHECK (write (handle, buffer, sizeof buffer) == (int) sizeof buffer,
-         "write \"child-rox\"");
-}