[Previous] [Next]

We had to choose something! The result:

• Property-centric tests, with each property getting one or more pages devoted to it
• Verification using Tim's testable statements
• Additional pages which combine multiple properties similar to Håkon's pages

There will also be pages donated by authors which use any combination of properties; these pages will be collected in one place