anishathalye / porcupine

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

if and only if ?? #9

Closed iwanttobepowerful closed 3 years ago

iwanttobepowerful commented 3 years ago

https://github.com/anishathalye/porcupine/blob/1c86176831911f0c7a37430bd41a2b2dbb2f1528/model.go#L28

anishathalye commented 3 years ago

What is the question?

cristaloleg commented 3 years ago

Looks like @iwanttobepowerful is talking about s/if an only/if and only

anishathalye commented 3 years ago

Thank you, fixed.