search

anishathalye / porcupine

A fast linearizability checker written in Go 🔎
https://anishathalye.com/testing-distributed-systems-for-linearizability/
MIT License
878 stars 50 forks source link

add set model test #5

Closed siddontang closed 6 years ago

siddontang commented 6 years ago

Hi @anishathalye

Port Set model from Jepsen Knossos. PTAL

Refer https://github.com/jepsen-io/knossos/blob/master/src/knossos/model.clj#L136

anishathalye commented 6 years ago

Looks great, thanks for the contribution!