# Testing with PICT, but incomplete testcases

I've also already asked this question in Stackoverflow, but I think I would get a better answer here.

I'm testing a triangle problem in PICT. I'm testing if a triangle is an equilateral triangle, an isosceles triangle, or a scalene triangle. The problem is that I never get the equilateral triangle as a result.

``````Side1:        5,6,7,8,9,10
Side2:        5,6,7,8,9,10
Side3:        5,6,7,8,9,10
Type:         equilateral, isosceles, scalene

IF (([Side1] = [Side2]) OR ([Side2] = [Side3]) OR ([Side3] = [Side1])) THEN [Type] = "isosceles"  ELSE [Type] = "scalene";
IF (([Side1] = [Side2]) AND ([Side2] = [Side3]) AND ([Side3] = [Side1])) THEN [Type] = "equilateral";
``````

But the random thing here is that when I change the last line into

``````IF (([Side1] = [Side2]) AND ([Side2] = [Side3]) AND ([Side3] = [Side1])) THEN [Type] = "isosceles";
``````

I randomly get values that would result in an equilateral triangle. How can I make sure I also have these values in my correct code?

• @Kyra - this sounds like the logic engine has a few quirks to it. One thing you might try is removing the last condition from the equilateral check, since `IF A = B AND B = C THEN A = C` (making your third condition redundant - possibly this is confusing the logic engine?) – Kate Paulk Oct 14 '14 at 11:15