Searched refs:checkPipePitfalls (Results 1 – 1 of 1) sorted by relevance
109 ,checkPipePitfalls531 prop_checkPipePitfalls3 = verify checkPipePitfalls "ls | grep -v mp3"533 prop_checkPipePitfalls5 = verifyNot checkPipePitfalls "ls -N | foo"534 prop_checkPipePitfalls6 = verify checkPipePitfalls "find . | xargs foo"536 prop_checkPipePitfalls8 = verify checkPipePitfalls "foo | grep bar | wc -l"537 prop_checkPipePitfalls9 = verifyNot checkPipePitfalls "foo | grep -o bar | wc -l"538 prop_checkPipePitfalls10 = verifyNot checkPipePitfalls "foo | grep -o bar | wc"539 prop_checkPipePitfalls11 = verifyNot checkPipePitfalls "foo | grep bar | wc"541 prop_checkPipePitfalls13 = verifyNot checkPipePitfalls "foo | grep bar | wc -c"547 checkPipePitfalls _ (T_Pipeline id _ commands) = do function[all …]