PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
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
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
}
main
int main(int argc, char *argv[])
Prints the command-line arguments.
Definition:
args.c:9
test_name
const char * test_name
Child process for syn-read test.
Definition:
child-syn-read.c:14
msg
void msg(const char *format,...)
Definition:
lib.c:28
lib.h
NULL
#define NULL
Definition:
stddef.h:4
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2