11 files changed, 0 insertions, 122 deletions

diff --git a/pintos-progos/tests/intro/userprog-args/Make.tests b/pintos-progos/tests/intro/userprog-args/Make.tests
deleted file mode 100644
index 6f7a474..0000000
--- a/pintos-progos/tests/intro/userprog-args/Make.tests
+++ /dev/null
@@ -1,27 +0,0 @@
-# -*- makefile -*-
-
-tests/intro/userprog-args/%.output: FILESYSSOURCE = --filesys-size=2
-tests/intro/userprog-args/%.output: PUTFILES = $(filter-out kernel.bin loader.bin, $^)
-tests/intro/userprog-args/%.output: SIMULATOR = --qemu
-tests/intro/userprog-args_TESTS = $(addprefix tests/intro/userprog-args/,args-none      \
-args-single args-multiple args-many args-dbl-space args-limit)
-
-tests/intro/userprog-args_PROGS = $(tests/intro/userprog-args_TESTS) $(addprefix \
-tests/intro/userprog-args/,child-simple child-args)
-
-tests/intro/userprog-args/args-none_SRC = tests/intro/userprog-args/args.c
-tests/intro/userprog-args/args-single_SRC = tests/intro/userprog-args/args.c
-tests/intro/userprog-args/args-multiple_SRC = tests/intro/userprog-args/args.c
-tests/intro/userprog-args/args-many_SRC = tests/intro/userprog-args/args.c
-tests/intro/userprog-args/args-dbl-space_SRC = tests/intro/userprog-args/args.c
-tests/intro/userprog-args/args-limit_SRC = tests/intro/userprog-args/args-limit.c
-
-tests/intro/userprog-args/child-simple_SRC = tests/intro/userprog-args/child-simple.c
-tests/intro/userprog-args/child-args_SRC = tests/intro/userprog-args/args.c
-
-$(foreach prog,$(tests/intro/userprog-args_PROGS),$(eval $(prog)_SRC += tests/lib.c))
-
-tests/intro/userprog-args/args-single_ARGS = onearg
-tests/intro/userprog-args/args-multiple_ARGS = some arguments for you!
-tests/intro/userprog-args/args-many_ARGS = a b c d e f g h i j k l m n o p q r s t u v
-tests/intro/userprog-args/args-dbl-space_ARGS = two  spaces!
diff --git a/pintos-progos/tests/intro/userprog-args/Rubric b/pintos-progos/tests/intro/userprog-args/Rubric
deleted file mode 100644
index f5474c5..0000000
--- a/pintos-progos/tests/intro/userprog-args/Rubric
+++ /dev/null
@@ -1,7 +0,0 @@
-Functionality of stack setup:
-3       args-none
-3       args-single
-3       args-multiple
-3       args-many
-3       args-dbl-space
-3       args-limit
diff --git a/pintos-progos/tests/intro/userprog-args/args-dbl-space.ck b/pintos-progos/tests/intro/userprog-args/args-dbl-space.ck
deleted file mode 120000
index 730d787..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-dbl-space.ck
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/args-dbl-space.ck
\ No newline at end of file
diff --git a/pintos-progos/tests/intro/userprog-args/args-limit.c b/pintos-progos/tests/intro/userprog-args/args-limit.c
deleted file mode 100644
index 159d868..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-limit.c
+++ /dev/null
@@ -1,70 +0,0 @@
-/* Test the limit for (1) number of arguments and (2) total size of arguments */
-#include <syscall.h>
-#include <string.h>
-#include "tests/lib.h"
-
-#define MAX_SIZE 4096
-
-static bool recurse (int, int);
-
-char cmd[MAX_SIZE * 4];
-
-static bool
-recurse (int argsize, int argcount)
-{
-  int i, j;
-  char *p;
-  strlcpy (cmd, "args-limit", 11);
-  p = cmd+strlen(cmd);
-  for (i = 0; i < argcount; i++) {
-    *p++ = ' ';
-    for (j = 0; j < argsize; j++) {
-      *p++ = 'X';
-    }
-  }
-  *p = 0;
-  if (wait (exec (cmd)) < 0) {
-    return false;
-  } else {
-    return true;
-  }
-}
-
-int
-main (int argc, char **argv)
-{
-  test_name = argv[0];
-  if(argc <= 1) {
-    int step;
-    int max_args = 0, max_size = 0;
-
-    msg ("begin");
-
-    /* Binary search number of arguments */
-    for (step = MAX_SIZE; step > 0 && max_args < MAX_SIZE; step>>=1) {
-      int t = max_args + step;
-      if (recurse (1, t)) {
-        max_args = t;
-      }
-    }
-    if (max_args > 63) {
-      msg ("success. at least 64 command line arguments are supported.");
-    } else {
-      msg ("FAIL: Only %d command line arguments are supported",max_args);
-    }
-    /* Binary search size of arguments */
-    for (step = MAX_SIZE; step > 0 && max_size < MAX_SIZE; step>>=1) {
-      int t = max_size + step;
-      if (recurse (t, 1)) {
-        max_size = t;
-      }
-    }
-    if (max_size >= 100) {
-      msg ("success. arguments with at least 100 bytes are supported.");
-    } else {
-      msg ("FAIL: Arguments with more than %d bytes are not supported.",max_size);
-    }
-    msg ("end");
-  }
-  return 0;
-}
diff --git a/pintos-progos/tests/intro/userprog-args/args-limit.ck b/pintos-progos/tests/intro/userprog-args/args-limit.ck
deleted file mode 100644
index ed8ead2..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-limit.ck
+++ /dev/null
@@ -1,11 +0,0 @@
-# -*- perl -*-
-use strict;
-use warnings;
-use tests::tests;
-check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
-(args-limit) begin
-(args-limit) success. at least 64 command line arguments are supported.
-(args-limit) success. arguments with at least 100 bytes are supported.
-(args-limit) end
-EOF
-pass;
diff --git a/pintos-progos/tests/intro/userprog-args/args-many.ck b/pintos-progos/tests/intro/userprog-args/args-many.ck
deleted file mode 120000
index ed175bd..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-many.ck
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/args-many.ck
\ No newline at end of file
diff --git a/pintos-progos/tests/intro/userprog-args/args-multiple.ck b/pintos-progos/tests/intro/userprog-args/args-multiple.ck
deleted file mode 120000
index 4f9935f..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-multiple.ck
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/args-multiple.ck
\ No newline at end of file
diff --git a/pintos-progos/tests/intro/userprog-args/args-none.ck b/pintos-progos/tests/intro/userprog-args/args-none.ck
deleted file mode 120000
index 861d319..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-none.ck
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/args-none.ck
\ No newline at end of file
diff --git a/pintos-progos/tests/intro/userprog-args/args-single.ck b/pintos-progos/tests/intro/userprog-args/args-single.ck
deleted file mode 120000
index df8e737..0000000
--- a/pintos-progos/tests/intro/userprog-args/args-single.ck
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/args-single.ck
\ No newline at end of file
diff --git a/pintos-progos/tests/intro/userprog-args/args.c b/pintos-progos/tests/intro/userprog-args/args.c
deleted file mode 120000
index 0d798ac..0000000
--- a/pintos-progos/tests/intro/userprog-args/args.c
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/args.c
\ No newline at end of file
diff --git a/pintos-progos/tests/intro/userprog-args/child-simple.c b/pintos-progos/tests/intro/userprog-args/child-simple.c
deleted file mode 120000
index f8a3ce7..0000000
--- a/pintos-progos/tests/intro/userprog-args/child-simple.c
+++ /dev/null
@@ -1 +0,0 @@
-../../userprog/child-simple.c
\ No newline at end of file