jepsen-io/capelaClojure
Jepsen tests for the Capela distributed programming environment
(0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
Repository
Jepsen tests for the Capela distributed programming environment
A framework for distributed systems verification, with fault injection
Verifies the linearizability of experimentally accessible histories.
A workbench for writing toy implementations of distributed systems.