If I write faulty code, the generated test will make sure I keep the code faulty right?
The example is a function which reports the kind of triangle. The generated tests include one that tests that a triangle with sides 12, 12 and... er... None is "isosceles".