Please sign in to comment.
- Loading branch information...
|@@ -7,3 +7,4 @@ This manifesto defines the rules for this project. Loosely inspired by the 'Dogm|
|* You may only write code when you know how to write a test case for the code.|
|* A test case is a QC model. If you don't know how to model it, you have no test case. You need a property. However, you are allowed to use any property. Also very simple ones.|
|* The dogfooding principle: there must be a user of code and a need for a given feature before it is written. The code must be used somewhere. If not, the code will be removed from the repository.|
|+* Discussions about tabs, spaces and indentation are only allowed when all other important discussions are solved. These include, code design, API design, implementation, tests and so on.|