diff options
author | Loïc Hoguin <[email protected]> | 2013-08-27 17:51:25 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2013-08-27 17:51:25 +0200 |
commit | fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c (patch) | |
tree | f103056731faa37b190e0b13cfa8071e02ae8303 | |
parent | bbee34fe1638b742796b00b39c0859395a752167 (diff) | |
download | cowboy-fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c.tar.gz cowboy-fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c.tar.bz2 cowboy-fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c.zip |
Explain how to test and dialyze
-rw-r--r-- | CONTRIBUTING.md | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9e2fa32..abab6ae 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -127,6 +127,26 @@ Committing You MUST ensure that all commits pass all tests and do not have extra Dialyzer warnings. +Running tests is fairly straightforward. + +``` bash +make tests +``` + +Running Dialyzer requires some initial setup. You need to build the PLT +file that Dialyzer will use for its analysis. This is a one-time operation. +Dialyzer will take care of updating that file when needed. + +``` bash +make build-plt +``` + +Once that is done, you can run Dialyzer. + +``` bash +make dialyze +``` + You MUST put all the related work in a single commit. Fixing a bug is one commit, adding a feature is one commit, adding two features is two commits. |