Pintos: pintos/src/tests/userprog/exec-arg.c Source File

00001 /* Tests argument passing to child processes. */
00002 
00003 #include <syscall.h>
00004 #include "tests/main.h"
00005 
00006 void
00007 test_main (void) 
00008 {
00009   wait (exec ("child-args childarg"));
00010 }