search

jepsen-io / knossos

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

Fix tests and add coverage #18

Closed mkcp closed 6 years ago

mkcp commented 6 years ago

Fixed some failing tests and added coverage for knossos.op