ProofUtil

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total73 of 20564 %8 of 1650 %714134116
addProofs(PGPSecretKeyRing, SecretKeyRingProtector, String, List)657051 %7541 %57122901
addProof(PGPSecretKeyRing, SecretKeyRingProtector, String, ProofUtil.Proof)80 %n/a111111
getProofs(PGPSignature)41100 %1375 %130701
addProofs(PGPSecretKeyRing, SecretKeyRingProtector, List)11100 %n/a010201
addProof(PGPSecretKeyRing, SecretKeyRingProtector, ProofUtil.Proof)7100 %n/a010101
ProofUtil()3100 %n/a010101