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