elle-cli
elle-cli copied to clipboard
ligurio
command-line frontend to transactional consistency checkers for black-box databases
jepsen-long-fork model is mentioned in documentation and usage, but actually is broken. https://github.com/ligurio/elle-cli/blob/d23bf96c042025fe1896385d8796597695731c34/src/elle_cli/cli.clj#L174-L178
jepsen-set model is mentioned in documentation and usage, but actually is broken. https://github.com/ligurio/elle-cli/blob/d23bf96c042025fe1896385d8796597695731c34/src/elle_cli/cli.clj#L174-L178
`jepsen-set-full` and `jepsen-set` uses the same history format, see - [set-full](https://github.com/jepsen-io/jepsen/blob/fe76b06cc68f50abec010c0e83138b819f7c6877/jepsen/src/jepsen/checker.clj#L461-L532) and [set](https://github.com/jepsen-io/jepsen/blob/main/jepsen/src/jepsen/checker.clj#L240-L243). Need to understand a difference and probably leave a single one.
There are some options for the same or similar models: - `elle-rw-register` and `knossos-register` uses the same history format, as far as I understand `elle-rw-register` is more rigorous and has...
Status `:unknown` means checker was unable to complete the analysis; e.g. it ran out of memory. Now elle-cli prints it as a Clojure keyword (with colon), it would be better...
Fix `bank` checker [^1] inside `elle-cli` because checker imported from Jepsen should also accept arguments via test map [^2][^3]: ``` :accounts A collection of account identifiers. :total-amount Total amount to...