Class | Coverage |
ProofCheckException ProofCheckException |
0.6666667
(66.7%) |
ProofChecker0Impl ProofChecker0Impl |
0.7
(70%) |
ProofChecker1Impl ProofChecker1Impl |
0.7009174
(70.1%) |
ProofChecker2Impl ProofChecker2Impl |
0.4456929
(44.6%) |