Searched refs:checkLoopVariableReassignment (Results 1 – 1 of 1) sorted by relevance
174 ,checkLoopVariableReassignment3216 prop_checkLoopVariableReassignment1 = verify checkLoopVariableReassignment "for i in *; do for i in…3217 prop_checkLoopVariableReassignment2 = verify checkLoopVariableReassignment "for i in *; do for((i=0…3218 prop_checkLoopVariableReassignment3 = verifyNot checkLoopVariableReassignment "for i in *; do for j…3219 prop_checkLoopVariableReassignment4 = verifyNot checkLoopVariableReassignment "for _ in *; do for _…3220 checkLoopVariableReassignment params token = function