trento-project / web / 87d6a78baae02dec6693550598dded07642195fe-PR-3715

87%

main: 88%

Pull #3715

github

Addresses PR comment

Consolidates the public api of `CommandedUtils` by renaming `maybe_correlated_dispatch` function to `correlated_dispatch/2` and also makes the second parameter a required one (it was optional previously). This is because there are no scenarios when this function actually relies on the optional/implied-default parameter.

13 of 13 new or added lines in 5 files covered. (100.0%)

3694 of 4255 relevant lines covered (86.82%)

331.62 hits per line