As a user, I would like more robust test coverage than is practicable via manual specification of test cases alone. As a developer or contributer, I would like to be able to write terse, robust tests that provide me with better coverage for those properties of the library that can be expressed with invariants.
As a user, I would like more robust test coverage than is practicable via manual specification of test cases alone. As a developer or contributer, I would like to be able to write terse, robust tests that provide me with better coverage for those properties of the library that can be expressed with invariants.
Acceptance: