pintos-os.org Git - pintos-anon/blob - src/tests/userprog/args.c

   1 /* Prints the command-line arguments.
   2    This program is used for all of the args-* tests.  Grading is
   3    done differently for each of the args-* tests based on the
   4    output. */
   5
   6 #include "tests/lib.h"
   7
   8 int
   9 main (int argc, char *argv[])
  10 {
  11   int i;
  12
  13   test_name = "args";
  14
  15   msg ("begin");
  16   msg ("argc = %d", argc);
  17   for (i = 0; i <= argc; i++)
  18     if (argv[i] != NULL)
  19       msg ("argv[%d] = '%s'", i, argv[i]);
  20     else
  21       msg ("argv[%d] = null", i);
  22   msg ("end");
  23
  24   return 0;
  25 }