Skip to content
This repository has been archived by the owner on Dec 13, 2021. It is now read-only.

Commit

Permalink
Merge pull request #10 from gitter-badger/gitter-badge
Browse files Browse the repository at this point in the history 
Add a Gitter chat badge to README.md
  • Loading branch information
@mitake
mitake committed Jun 10, 2015
2 parents ee331ef + 6a77931 commit 91cbfd0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
# Earthquake: Dynamic Model Checker for Distributed Systems

[![Join the chat at https://gitter.im/osrg/earthquake](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/osrg/earthquake?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
Earthquake is a dynamic model checker (DMCK) for real implementations of distributed system (such as ZooKeeper).

Earthquakes permutes C/Java function calls, Ethernet packets, and injected fault events in various orders so as to find implementation-level bugs of the distributed system.
Expand Down

0 comments on commit 91cbfd0

Please sign in to comment.