Jepsen tests for Tendermint.
The initial test suite was written back in Sept. 2017 in the attempt to verify Tendermint safety guarantees. No significant issues were found: "Tendermint appears to satisfy its safety guarantees". You can read the full report for more details.
This repository is a fork of the main Jepsen repository. The initial test suite was copied from jepsen-io/tendermint repository.
Assuming you have docker-compose set up already, run:
cd docker && bin/up
In another terminal, run:
cd docker && bin/console
Once console is up, run:
root@control:/jepsen# cd tendermint && lein run test
The output should look something like this:
{:process 85,
:type :invoke,
:f :read,
:value nil,
:index 110,
:time 53268946400}]}),
:analyzer :linear,
:final-paths ()}},
:failures []},
:valid? true}
Everything looks good!
Please refer to docker README for additional docker options and tendermint README for more test options.
Add an upstream remote (one time):
git remote add upstream https://github.com/jepsen-io/jepsen.git
Fetch the changes (if any) and rebase:
git fetch upstream
git rebase upstream/master
Copyright © 2017 Jepsen, LLC
Distributed under the Apache Public License 2.0.