pi-base / viewer / 340709810 / 1

80%

master: 44%

Build Type

push

github

Committed by James Dabbs

Commit Message

Move theorems-for-property lookup to model

Coverage Stats

213 of 271 branches covered (78.6%)

Branch coverage included in aggregate %.

872 of 974 relevant lines covered (89.53%)

3.48 hits per line