Searched refs:checkDivBeforeMult (Results 1 – 1 of 1) sorted by relevance
122 ,checkDivBeforeMult1435 prop_checkDivBeforeMult = verify checkDivBeforeMult "echo $((c/n*100))"1436 prop_checkDivBeforeMult2 = verifyNot checkDivBeforeMult "echo $((c*100/n))"1437 prop_checkDivBeforeMult3 = verifyNot checkDivBeforeMult "echo $((c/10*10))"1438 checkDivBeforeMult params (TA_Binary _ "*" (TA_Binary id "/" _ x) y) function1441 checkDivBeforeMult _ _ = return () function