(CommandList children: [ (Assignment keyword: Assign_None pairs: [(assign_pair lhs:(LhsName name:TIME) op:Equal rhs:{(/usr/bin/time)} spids:[91])] spids: [91] ) (C {(atf_test_case)} {(cputime_hard_flag)}) (FuncDef name: cputime_hard_flag_body body: (BraceGroup children: [ (C {(atf_check)} {(-e)} {(empty)} {(-o)} {(match) (Lit_Other ':') (SQ <'cputime[[:space:]]+3 secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-H)} {(-t)} {(3)} {(limits)} {(-H)} ) (C {(atf_check)} {(-e)} {(empty)} {(-o)} {(match) (Lit_Other ':') (SQ <'cputime[[:space:]]+3 secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-H)} {(-t)} {(3)} {(limits)} {(-S)} ) (C {(atf_check)} {(-e)} {(match) (Lit_Other ':') (SQ <'real[[:space:]]+[34]\\.[0-9][0-9]'>)} {(-o)} {(empty)} {(-s)} {(signal) (Lit_Other ':') (sigkill)} {(limits)} {(-H)} {(-t)} {(3)} {($ VSub_Name '$TIME')} {(-p)} {(sh)} {(-c)} {(SQ <'while : ; do : ; done'>)} ) ] spids: [103] ) spids: [99 102] ) (Assignment keyword: Assign_None pairs: [(assign_pair lhs:(LhsName name:SIGXCPU) op:Equal rhs:{(24)} spids:[222])] spids: [222] ) (C {(atf_test_case)} {(cputime_soft_flag)}) (FuncDef name: cputime_soft_flag_body body: (BraceGroup children: [ (C {(atf_check)} {(-e)} {(empty)} {(-o)} {(match) (Lit_Other ':') (SQ <'cputime-max[[:space:]]+infinity secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-S)} {(-t)} {(3)} {(limits)} {(-H)} ) (C {(atf_check)} {(-e)} {(empty)} {(-o)} {(match) (Lit_Other ':') (SQ <'cputime-cur[[:space:]]+3 secs'>)} {(-s)} {(exit) (Lit_Other ':') (0)} {(limits)} {(-S)} {(-t)} {(3)} {(limits)} {(-S)} ) (C {(atf_check)} {(-e)} {(match) (Lit_Other ':') (SQ <'real[[:space:]]+[34]\\.[0-9][0-9]'>)} {(-o)} {(empty)} {(-s)} {(signal) (Lit_Other ':') ($ VSub_Name '$SIGXCPU')} {(limits)} {(-S)} {(-t)} {(3)} {($ VSub_Name '$TIME')} {(-p)} {(sh)} {(-c)} {(SQ <'while : ; do : ; done'>)} ) ] spids: [237] ) spids: [233 236] ) (FuncDef name: atf_init_test_cases body: (BraceGroup children: [ (C {(atf_add_test_case)} {(cputime_hard_flag)}) (C {(atf_add_test_case)} {(cputime_soft_flag)}) ] spids: [360] ) spids: [356 359] ) ] )