Search results

Is it possible to test distrubuted file systems like HDFS using the existed models?

Status: Open.

#32 In jepsen-io/knossos;

· hexiecs opened on Dec 27, 2019

Assertion errors from Java

Status: Open.

#27 In jepsen-io/knossos;

· itamararjuan opened on Nov 7, 2018

knossos.competition checker is blocked by linear/start-analysis

Status: Open.

#25 In jepsen-io/knossos;

· ttyusupov opened on Jul 17, 2018

Visualization fails on latest master with README example

Status: Open.

#23 In jepsen-io/knossos;

· andrewjstone opened on Feb 19, 2018

Should process ids be 64 bits long?

Status: Open.

#15 In jepsen-io/knossos;

· mstewartgallus opened on Jun 18, 2017

java.lang.AssertionError: Assert failed: i

Status: Open.

#8 In jepsen-io/knossos;

· balopat opened on Jan 5, 2016