1 files changed, 0 insertions, 25 deletions

diff --git a/pintos-progos/tests/userprog/args.c b/pintos-progos/tests/userprog/args.c
deleted file mode 100644
index 20eda44..0000000
--- a/pintos-progos/tests/userprog/args.c
+++ /dev/null
@@ -1,25 +0,0 @@
-/* Prints the command-line arguments.
-   This program is used for all of the args-* tests.  Grading is
-   done differently for each of the args-* tests based on the
-   output. */
-
-#include "tests/lib.h"
-
-int
-main (int argc, char *argv[]) 
-{
-  int i;
-
-  test_name = "args";
-
-  msg ("begin");
-  msg ("argc = %d", argc);
-  for (i = 0; i <= argc; i++)
-    if (argv[i] != NULL)
-      msg ("argv[%d] = '%s'", i, argv[i]);
-    else
-      msg ("argv[%d] = null", i);
-  msg ("end");
-
-  return 0;
-}