aboutsummaryrefslogtreecommitdiffstats
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2013-08-27 17:51:25 +0200
committerLoïc Hoguin <[email protected]>2013-08-27 17:51:25 +0200
commitfe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c (patch)
treef103056731faa37b190e0b13cfa8071e02ae8303 /CONTRIBUTING.md
parentbbee34fe1638b742796b00b39c0859395a752167 (diff)
downloadcowboy-fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c.tar.gz
cowboy-fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c.tar.bz2
cowboy-fe7cc08daff4a9bb8d6a4dd161b53e7d6ce6ab4c.zip
Explain how to test and dialyze
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md20
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.