linux command options for testcase in PINTOS 아래는 테스트 케이스를 돌릴 수 있는 코드의 예시이다. userprog/ 폴더 안의 rox-multichild.c에 대한 테스트 케이스를 돌리는 문장이다. pintos -v -k -T 60 -m 20 --fs-disk=10 -p tests/userprog/rox-multichild:rox-multichild -p tests/userprog/child-rox:child-rox -- -q -f run rox-multichild >-v: 실행 중에 출력되는 메시지를 자세히 보여줍니다. 이 옵션은 프로그램 실행 중에 더 자세한 출력을 제공하는 상세 모드를 활성화합니다. >-k: 커널 메시지를 로그에 기록합니다. 이 옵션은 커널이 충돌하거나 패닉 상태일 때 추가 디버깅 정보를 제공하는 커널 디버깅 모드를 활성화합니다. >-T 60: 이 옵션은 각 테스트의 시간 제한을 60초로 설정합니다.