ligurio / molly / 11721990279

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%)

565 of 658 relevant lines covered (85.87%)

12.65 hits per line