Distributed tests of Phoenix PubSub

December 9, 2018 ยท View on GitHub

Build Status

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