search

ligurio / elle-cli

The command-line frontend to transactional consistency checkers for black-box databases
Other
27 stars 5 forks source link

Fix jepsen-set model #44

Closed ligurio closed 1 day ago

ligurio commented 2 years ago

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