make tests/userprog/args-none.result
pintos -v -k -T 60 -m 20 --fs-disk=10 -p tests/userprog/args-none:args-none -- -q -f run args-none