ligurio / molly / 11722037319

push

github

molly: introduce a bank operations generator

The patch introduces a bank operations generator that produces
updates to a set of bank accounts and transfers money between
them at random, ensuring that no account goes negative,
see [1] and [2].

1. https://github.com/jepsen-io/jepsen/blob/main/jepsen/src/jepsen/tests/bank.clj
2. https://jepsen-io.github.io/jepsen/jepsen.tests.bank.html

15 of 17 new or added lines in 1 file covered. (88.24%)

570 of 659 relevant lines covered (86.49%)

12.43 hits per line