Ein Testlauf

dublin$ ./TriangleTester 2: input = '2147483645 2147483646 2147483647' expected = 'scalene' output = 'no triangle' 4: input = '2147483647 2147483647 2147483647' expected = 'equilateral' output = 'no triangle' 8: input = '2147483646 2147483646 2147483647' expected = 'isosceles' output = 'no triangle' 9: input = '2147483646 2147483647 2147483646' expected = 'isosceles' output = 'no triangle' 10: input = '2147483647 2147483646 2147483646' expected = 'isosceles' output = 'no triangle' 5/25 tests failed. dublin$

Beim Testen stellt sich hier heraus, daß keine Vorkehrungen für mögliche Überläufe beim Addieren getroffen worden sind:

Triangles.om

PROCEDURE IsTriangle(len1, len2, len3: INTEGER) : BOOLEAN; BEGIN RETURN (len1 + len2 > len3) & (len1 + len3 > len2) & (len2 + len3 > len1) END IsTriangle;