Distributed tests of Phoenix PubSub

Quick Start

Build a docker image used in all tests:

make docker

Run basic tests and extracted counterexamples:

TRACKER=pp make test

Run property tests. Currently, you can customize number of tests in the test file:

TRACKER=pp make props

Name		Name	Last commit message	Last commit date
Latest commit History 73 Commits
config		config
lib		lib
priv		priv
rel		rel
test		test
.formatter.exs		.formatter.exs
.gitignore		.gitignore
.travis.yml		.travis.yml
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
TODO.org		TODO.org
mix.exs		mix.exs
mix.lock		mix.lock