Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.se.dto.module 109 109 0 0 0 0 2.041 100%
 
Test Classes Tests Fail Error % Pass
AddVoTestAddVoTest 4 4 0 0 0 0 0.0170.017 1.0100% 1.0
AuthorListVoTestAuthorListVoTest 1 1 0 0 0 0 0.0180.018 1.0100% 1.0
AuthorVoTestAuthorVoTest 2 2 0 0 0 0 0.0350.035 1.0100% 1.0
AxiomVoTestAxiomVoTest 2 2 0 0 0 0 0.0380.038 1.0100% 1.0
ChangedRuleListVoTestChangedRuleListVoTest 1 1 0 0 0 0 0.0190.019 1.0100% 1.0
ChangedRuleVoTestChangedRuleVoTest 1 1 0 0 0 0 0.0270.027 1.0100% 1.0
ChapterListVoTestChapterListVoTest 1 1 0 0 0 0 0.0770.077 1.0100% 1.0
ChapterVoTestChapterVoTest 1 1 0 0 0 0 0.0960.096 1.0100% 1.0
ConclusionVoTestConclusionVoTest 5 5 0 0 0 0 0.0340.034 1.0100% 1.0
ConditionalProofVoTestConditionalProofVoTest 4 4 0 0 0 0 0.0940.094 1.0100% 1.0
ExistentialVoTestExistentialVoTest 4 4 0 0 0 0 0.0429999980.043 1.0100% 1.0
FormalProofLineListVoTestFormalProofLineListVoTest 1 1 0 0 0 0 0.0240.024 1.0100% 1.0
FormalProofLineVoTestFormalProofLineVoTest 2 2 0 0 0 0 0.0230.023 1.0100% 1.0
FormalProofListVoTestFormalProofListVoTest 1 1 0 0 0 0 0.0350.035 1.0100% 1.0
FormalProofVoTestFormalProofVoTest 2 2 0 0 0 0 0.0380.038 1.0100% 1.0
FormulaVoTestFormulaVoTest 1 1 0 0 0 0 0.0220.022 1.0100% 1.0
FunctionDefinitionVoTestFunctionDefinitionVoTest 2 2 0 0 0 0 0.0290.029 1.0100% 1.0
HeaderVoTestHeaderVoTest 1 1 0 0 0 0 0.0630.063 1.0100% 1.0
HypothesisVoTestHypothesisVoTest 3 3 0 0 0 0 0.020.02 1.0100% 1.0
ImportListVoTestImportListVoTest 1 1 0 0 0 0 0.020.02 1.0100% 1.0
ImportVoTestImportVoTest 2 2 0 0 0 0 0.0190000010.019 1.0100% 1.0
InitialFunctionDefinitionVoTestInitialFunctionDefinitionVoTest 2 2 0 0 0 0 0.0530.053 1.0100% 1.0
InitialPredicateDefinitionVoTestInitialPredicateDefinitionVoTest 2 2 0 0 0 0 0.0260.026 1.0100% 1.0
LatexListVoTestLatexListVoTest 1 1 0 0 0 0 0.0310.031 1.0100% 1.0
LatexVoTestLatexVoTest 1 1 0 0 0 0 0.0220.022 1.0100% 1.0
LinkListVoTestLinkListVoTest 1 1 0 0 0 0 0.0140.014 1.0100% 1.0
LiteratureItemListVoTestLiteratureItemListVoTest 1 1 0 0 0 0 0.0180.018 1.0100% 1.0
LiteratureItemVoTestLiteratureItemVoTest 1 1 0 0 0 0 0.0410.041 1.0100% 1.0
LocationListVoTestLocationListVoTest 1 1 0 0 0 0 0.0260.026 1.0100% 1.0
LocationVoTestLocationVoTest 1 1 0 0 0 0 0.0180.018 1.0100% 1.0
ModusPonensVoTestModusPonensVoTest 6 6 0 0 0 0 0.040.04 1.0100% 1.0
NodeVoTestNodeVoTest 11 11 0 0 0 0 0.060.06 1.0100% 1.0
PredicateDefinitionVoTestPredicateDefinitionVoTest 2 2 0 0 0 0 0.0310.031 1.0100% 1.0
ProofListVoTestProofListVoTest 1 1 0 0 0 0 0.020.02 1.0100% 1.0
ProofVoTestProofVoTest 1 1 0 0 0 0 0.0220.022 1.0100% 1.0
PropositionVoTestPropositionVoTest 2 2 0 0 0 0 0.0660.066 1.0100% 1.0
QedeqVoTestQedeqVoTest 1 1 0 0 0 0 0.1060.106 1.0100% 1.0
RenameVoTestRenameVoTest 4 4 0 0 0 0 0.0569999960.057 1.0100% 1.0
RuleVoTestRuleVoTest 2 2 0 0 0 0 0.0910000060.091 1.0100% 1.0
SectionListVoTestSectionListVoTest 1 1 0 0 0 0 0.1050.105 1.0100% 1.0
SectionVoTestSectionVoTest 1 1 0 0 0 0 0.0940.094 1.0100% 1.0
SpecificationVoTestSpecificationVoTest 1 1 0 0 0 0 0.0430.043 1.0100% 1.0
SubsectionListVoTestSubsectionListVoTest 1 1 0 0 0 0 0.0480.048 1.0100% 1.0
SubsectionVoTestSubsectionVoTest 3 3 0 0 0 0 0.0319999980.032 1.0100% 1.0
SubstFreeVoTestSubstFreeVoTest 4 4 0 0 0 0 0.0269999990.027 1.0100% 1.0
SubstFuncVoTestSubstFuncVoTest 4 4 0 0 0 0 0.0539999980.054 1.0100% 1.0
SubstPredVoTestSubstPredVoTest 4 4 0 0 0 0 0.0269999990.027 1.0100% 1.0
TermVoTestTermVoTest 2 2 0 0 0 0 0.0360.036 1.0100% 1.0
UniversalVoTestUniversalVoTest 4 4 0 0 0 0 0.0230.023 1.0100% 1.0
UsedByListVoTestUsedByListVoTest 1 1 0 0 0 0 0.0190.019 1.0100% 1.0