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

   1 #include <stdio.h>
   2 #include <string.h>
   3
   4 int
   5 main (int argc, char *argv[])
   6 {
   7   if (!strcmp (argv[0], "onearg") || !strcmp (argv[1], "onearg"))
   8     {
   9       printf ("(args-single) success\n");
  10       return 0;
  11     }
  12   else
  13     {
  14       int i;
  15
  16       printf ("(args-single) failure\n");
  17       printf ("(args-single) argc=%d\n", argc);
  18       for (i = 0; i <= argc; i++)
  19         if (argv[i] >= (char *) 0xbffff000 && argv[i] < (char *) 0xc0000000)
  20           printf ("(args-single) argv[%d]='%s'\n", i, argv[i]);
  21         else
  22           printf ("(args-single) argv[%d]=%p\n", i, argv[i]);
  23       return 1;
  24     }
  25 }