search

jepsen-io / knossos

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

adjust wgl-test and linear-test to support ensure-indexed behavior #20

Closed mkcp closed 6 years ago

mkcp commented 6 years ago

All green cap'n

aphyr commented 6 years ago

Hurrah!