jepsen-io / knossos

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

analyzers: add :time-limit feature in opts map for linear, wgl, and competition #29

Closed mkcp closed 5 years ago

mkcp commented 5 years ago

The "will timeout if limit exceeded" test in knossos.linear_test had a habit of completing before the minimum timeout with a few datasets. However it seems to timeout every time with the memstress3-14.edn history. Hoping this remains deterministic, but these new tests could be finicky.

They're pretty safe to ignore in travis though, and adding the ^:perf metadata will skip them in CI.