pi-base / viewer / 377510640 / 1

80%

master: 44%

Build Type

push

github

Committed by James Dabbs

Commit Message

Fix regression in multi-step proof derivation

Run Details

256 of 348 branches covered (73.56%)

Branch coverage included in aggregate %.

1182 of 1427 relevant lines covered (82.83%)

2.77 hits per line