PKUOS - Pintos
Pintos source browser for PKU Operating System course
args.c
Go to the documentation of this file.
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
8int
9main (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}
int main(int argc, char *argv[])
Prints the command-line arguments.
Definition: args.c:9
const char * test_name
Child process for syn-read test.
void msg(const char *format,...)
Definition: lib.c:28
#define NULL
Definition: stddef.h:4