search

jepsen-io / knossos

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

improve error handling for models that fail on the first op #17

Closed mkcp closed 6 years ago

mkcp commented 6 years ago

Resolves "Knossos: Better error messages when users pass models that fail on the first op ..." in https://github.com/jepsen-io/jepsen/blob/master/doc/plan.md

References https://github.com/jepsen-io/jepsen/issues/168