issues
search
jepsen-io
/
knossos
Verifies the linearizability of experimentally accessible histories.
398
stars
31
forks
source link
analysis not falsey (truey???) may not mean valid analysis
#21
Closed
mkcp
closed
6 years ago
mkcp
commented
6 years ago
womp
aphyr
commented
6 years ago
womp