README still mentions missing Redis example

jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.

398 stars 31 forks source link

README still mentions missing Redis example #11

Closed Blaisorblade closed 7 years ago

Blaisorblade commented 7 years ago

I read

See knossos.core for the linearizability checker, and knossos.redis for an model that can generate histories verifiable with Knossos.

I was confused by not finding knossos.redis or variations, till I dug into history and found 08166a4bb85310ccd7ea1628ff886b38442360a6. What's an example model to get started now?

aphyr commented 7 years ago

Cleaned up stale refs from the readme, thanks.