pintos-os.org Git - pintos-anon/blob - grading/userprog/args-dbl-space.c

   1 #include <stdio.h>
   2 #include <string.h>
   3
   4 int
   5 main (int argc, char *argv[])
   6 {
   7   int i;
   8
   9   for (i = 0; i < argc; i++)
  10     {
  11       int j;
  12
  13       for (j = i; j < i + 2; j++)
  14         if (argv[j] == NULL)
  15           goto error;
  16       if (!strcmp (argv[i], "two")
  17           && !strcmp (argv[i + 1], "args"))
  18         {
  19           printf ("(args-dbl-space) success\n");
  20           return 0;
  21         }
  22     error:;
  23     }
  24
  25   printf ("(args-dbl-space) failure\n");
  26   printf ("(args-dbl-space) argc=%d\n", argc);
  27   for (i = 0; i <= argc; i++)
  28     if (argv[i] >= (char *) 0xbffff000 && argv[i] < (char *) 0xc0000000)
  29       printf ("(args-dbl-space) argv[%d]='%s'\n", i, argv[i]);
  30     else
  31       printf ("(args-dbl-space) argv[%d]=%p\n", i, argv[i]);
  32   return 1;
  33 }