search

jepsen-io / knossos

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

Add java.lang.Iterable instance for wgl/Op. #34

Closed stevana closed 4 years ago

stevana commented 4 years ago

Fixes: https://github.com/jepsen-io/jepsen/issues/439 Supersedes: https://github.com/jepsen-io/knossos/pull/33

aphyr commented 4 years ago

(haven't merged this yet just cuz I'm not sure this is actually correct behavior--need to check and write tests for it)

aphyr commented 4 years ago

OK, yeah, this is not correct behavior. We should be returning an iterator of mapentries here.

stevana commented 4 years ago

Updated, does that look better?

aphyr commented 4 years ago

Yeah, that oughta do!