ligurio / molly / 11722008712

86%

master: 87%

Build Type

Pull #14

github

Committed by ligurio

Commit Message

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

Pull Request Pull Request #14: Introduce a bank test

Run Details

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

6 existing lines in 1 file now uncovered.

563 of 658 relevant lines covered (85.56%)

12.55 hits per line