Clover

Clover Test Report

Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST

FRAMES NO FRAMES SHOW HELP

Test

Unique Coverage

Status

Start time

Time (seconds)

Message

testAll

10,3%

1 PASS

2 Aug 13:56:06

0.047

Target Class

Unique

Coverage contributed by testAll.

org.qedeq.kernel.dto.module.ProofListVo org.qedeq.kernel.dto.module.ProofListVo

0.0

1.0 100%

org.qedeq.base.utility.EqualsUtility org.qedeq.base.utility.EqualsUtility

0.0

0.90909094 90,9%

org.qedeq.kernel.dto.module.ProofVo org.qedeq.kernel.dto.module.ProofVo

0.0

0.9 90%

org.qedeq.kernel.dto.module.LatexListVo org.qedeq.kernel.dto.module.LatexListVo

0.0

0.84313726 84,3%

org.qedeq.kernel.dto.module.PropositionVo org.qedeq.kernel.dto.module.PropositionVo

0.4528302 45,3%

0.8113208 81,1%

org.qedeq.kernel.dto.module.FormulaVo org.qedeq.kernel.dto.module.FormulaVo

0.0

0.7916667 79,2%

org.qedeq.kernel.dto.module.LatexVo org.qedeq.kernel.dto.module.LatexVo

0.0

0.7407407 74,1%

org.qedeq.kernel.dto.list.DefaultAtom org.qedeq.kernel.dto.list.DefaultAtom

0.0

0.46666667 46,7%