> only functional invariants should be tested. That makes no sense at all. > Your example is a perfect illustration I didn't give an example. > invariant-ba

> only functional invariants should be tested. That makes no sense at all. > Your example is a perfect illustration I didn't give an example. > invariant-based testing can easily be transformed into automated fuzzy tests 'fuzz' not 'fuzzy'. True, but irrelevant to the point being argued.