4 Forks
13 Stars
13 Watchers

fault-tolerant-benchmarks

Fault-tolerant distributed algorithms encoded in a formal language

How to download and setup fault-tolerant-benchmarks

Open terminal and run command
git clone https://github.com/konnov/fault-tolerant-benchmarks.git
git clone is used to create a copy or clone of fault-tolerant-benchmarks repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with fault-tolerant-benchmarks https://github.com/konnov/fault-tolerant-benchmarks/archive/master.zip

Or simply clone fault-tolerant-benchmarks with SSH
[email protected]:konnov/fault-tolerant-benchmarks.git

If you have some problems with fault-tolerant-benchmarks

You may open issue on fault-tolerant-benchmarks support forum (system) here: https://github.com/konnov/fault-tolerant-benchmarks/issues