Comment by intricatedetail

Why contracts don't have a test suite that verifies them?