Clover

Clover Test Report

Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC

FRAMES NO FRAMES SHOW HELP

Test

Unique Coverage

Status

Start time

Time (seconds)

Message

testAll

10.3%

1 PASS

18 Sep 04:09:38

0.032

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.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.base.utility.EqualsUtility org.qedeq.base.utility.EqualsUtility

0.0

0.7692308 76.9%

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%