[bbest86]

Would be interesting to automatically run something like this and find a way to assert that the tests should fail. Almost an automated test of your tests.

[ZeroGravitas]

Unless I'm misunderstanding something, that is what these type of tools do.