Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.se.dto.module 109 109 0 0 0 0 3.393 100%
 
Test Classes Tests Fail Error % Pass
AddVoTestAddVoTest 4 4 0 0 0 0 0.070.07 1.0100% 1.0
AuthorListVoTestAuthorListVoTest 1 1 0 0 0 0 0.0160.016 1.0100% 1.0
AuthorVoTestAuthorVoTest 2 2 0 0 0 0 0.0510.051 1.0100% 1.0
AxiomVoTestAxiomVoTest 2 2 0 0 0 0 0.0740.074 1.0100% 1.0
ChangedRuleListVoTestChangedRuleListVoTest 1 1 0 0 0 0 0.0720.072 1.0100% 1.0
ChangedRuleVoTestChangedRuleVoTest 1 1 0 0 0 0 0.0340.034 1.0100% 1.0
ChapterListVoTestChapterListVoTest 1 1 0 0 0 0 0.0720.072 1.0100% 1.0
ChapterVoTestChapterVoTest 1 1 0 0 0 0 0.310.31 1.0100% 1.0
ConclusionVoTestConclusionVoTest 5 5 0 0 0 0 0.0420000030.042 1.0100% 1.0
ConditionalProofVoTestConditionalProofVoTest 4 4 0 0 0 0 0.1050.105 1.0100% 1.0
ExistentialVoTestExistentialVoTest 4 4 0 0 0 0 0.0559999980.056 1.0100% 1.0
FormalProofLineListVoTestFormalProofLineListVoTest 1 1 0 0 0 0 0.0480.048 1.0100% 1.0
FormalProofLineVoTestFormalProofLineVoTest 2 2 0 0 0 0 0.0279999990.028 1.0100% 1.0
FormalProofListVoTestFormalProofListVoTest 1 1 0 0 0 0 0.0570.057 1.0100% 1.0
FormalProofVoTestFormalProofVoTest 2 2 0 0 0 0 0.0750.075 1.0100% 1.0
FormulaVoTestFormulaVoTest 1 1 0 0 0 0 0.0520.052 1.0100% 1.0
FunctionDefinitionVoTestFunctionDefinitionVoTest 2 2 0 0 0 0 0.0480.048 1.0100% 1.0
HeaderVoTestHeaderVoTest 1 1 0 0 0 0 0.1070.107 1.0100% 1.0
HypothesisVoTestHypothesisVoTest 3 3 0 0 0 0 0.0249999990.025 1.0100% 1.0
ImportListVoTestImportListVoTest 1 1 0 0 0 0 0.0230.023 1.0100% 1.0
ImportVoTestImportVoTest 2 2 0 0 0 0 0.0210.021 1.0100% 1.0
InitialFunctionDefinitionVoTestInitialFunctionDefinitionVoTest 2 2 0 0 0 0 0.0429999980.043 1.0100% 1.0
InitialPredicateDefinitionVoTestInitialPredicateDefinitionVoTest 2 2 0 0 0 0 0.0550.055 1.0100% 1.0
LatexListVoTestLatexListVoTest 1 1 0 0 0 0 0.0470.047 1.0100% 1.0
LatexVoTestLatexVoTest 1 1 0 0 0 0 0.0330.033 1.0100% 1.0
LinkListVoTestLinkListVoTest 1 1 0 0 0 0 0.0390.039 1.0100% 1.0
LiteratureItemListVoTestLiteratureItemListVoTest 1 1 0 0 0 0 0.0560.056 1.0100% 1.0
LiteratureItemVoTestLiteratureItemVoTest 1 1 0 0 0 0 0.020.02 1.0100% 1.0
LocationListVoTestLocationListVoTest 1 1 0 0 0 0 0.0450.045 1.0100% 1.0
LocationVoTestLocationVoTest 1 1 0 0 0 0 0.0630.063 1.0100% 1.0
ModusPonensVoTestModusPonensVoTest 6 6 0 0 0 0 0.0520.052 1.0100% 1.0
NodeVoTestNodeVoTest 11 11 0 0 0 0 0.1180.118 1.0100% 1.0
PredicateDefinitionVoTestPredicateDefinitionVoTest 2 2 0 0 0 0 0.0420000030.042 1.0100% 1.0
ProofListVoTestProofListVoTest 1 1 0 0 0 0 0.0230.023 1.0100% 1.0
ProofVoTestProofVoTest 1 1 0 0 0 0 0.0670.067 1.0100% 1.0
PropositionVoTestPropositionVoTest 2 2 0 0 0 0 0.0890.089 1.0100% 1.0
QedeqVoTestQedeqVoTest 1 1 0 0 0 0 0.3060.306 1.0100% 1.0
RenameVoTestRenameVoTest 4 4 0 0 0 0 0.0610.061 1.0100% 1.0
RuleVoTestRuleVoTest 2 2 0 0 0 0 0.137000010.137 1.0100% 1.0
SectionListVoTestSectionListVoTest 1 1 0 0 0 0 0.0980.098 1.0100% 1.0
SectionVoTestSectionVoTest 1 1 0 0 0 0 0.1060.106 1.0100% 1.0
SpecificationVoTestSpecificationVoTest 1 1 0 0 0 0 0.0710.071 1.0100% 1.0
SubsectionListVoTestSubsectionListVoTest 1 1 0 0 0 0 0.1450.145 1.0100% 1.0
SubsectionVoTestSubsectionVoTest 3 3 0 0 0 0 0.0260.026 1.0100% 1.0
SubstFreeVoTestSubstFreeVoTest 4 4 0 0 0 0 0.0290.029 1.0100% 1.0
SubstFuncVoTestSubstFuncVoTest 4 4 0 0 0 0 0.0770.077 1.0100% 1.0
SubstPredVoTestSubstPredVoTest 4 4 0 0 0 0 0.0319999980.032 1.0100% 1.0
TermVoTestTermVoTest 2 2 0 0 0 0 0.0450.045 1.0100% 1.0
UniversalVoTestUniversalVoTest 4 4 0 0 0 0 0.0499999970.05 1.0100% 1.0
UsedByListVoTestUsedByListVoTest 1 1 0 0 0 0 0.0320.032 1.0100% 1.0