Searched refs:checkWrongArithmeticAssignment (Results 1 – 1 of 1) sorted by relevance
160 ,checkWrongArithmeticAssignment485 prop_checkWrongArit = verify checkWrongArithmeticAssignment "i=i+1"486 prop_checkWrongArit2 = verify checkWrongArithmeticAssignment "n=2; i=n*2"487 checkWrongArithmeticAssignment params (T_SimpleCommand id [T_Assignment _ _ _ _ val] []) = function511 checkWrongArithmeticAssignment _ _ = return () function