Permalink
Browse files

Make CT tests run correctly and update the manifesto.

  • Loading branch information...
1 parent 401bf8f commit 41a7d480aaf5d255a46d4b6d6e02b93eb88d031d @jlouis committed Sep 23, 2013
Showing with 9 additions and 8 deletions.
  1. +2 −1 MANIFESTO.md
  2. +7 −7 Makefile
View
@@ -6,5 +6,6 @@ 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.
+* Unit tests are banished from the project
* 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.
+* 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.
View
@@ -21,13 +21,13 @@ ct_setup:
ct: ct_setup compile
erl -noshell \
- -pa deps/*/ebin -pa ebin \
- -sname ct \
- -env TEST_DIR test \
- -spec ct/sv.spec \
- -config ct/test.config \
- -dir test \
- -s ct_run script_start -s erlang halt
+ -pa deps/*/ebin -pa ebin \
+ -sname ct \
+ -env TEST_DIR test \
+ -spec ct/sv.spec \
+ -config ct/test.config \
+ -dir test \
+ -s ct_run script_start -s erlang halt
## DIALYZER
## ----------------------------------------------------

0 comments on commit 41a7d48

Please sign in to comment.