search

jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.
398 stars 31 forks source link

fix compilation issues #3

Closed abailly closed 10 years ago

abailly commented 10 years ago

Everything is in the title: When cloned the project did not compile. Furthermore, tests are failing, is this "normal" ?

PS: Thanks for this great stuff!

aphyr commented 10 years ago

Yeah, haha, the Redis example hasn't been updated to deal with Knossos' new capabilities; those tests probably don't work correctly. My guess is redis is gonna need some other updates as well; in particular, models can't throw any more but have to return (inconsistent "msg").