Loading...
Class Coverage    
AbstractModuleVisitorTest AbstractModuleVisitorTest 1.0 (100%)
AbstractStateTest AbstractStateTest 0.9722222 (97.2%)
AbstractValueObjectTestCase AbstractValueObjectTestCase 0.84156376 (84.2%)
AbstractVoModuleTestCase AbstractVoModuleTestCase 1.0 (100%)
AddVoTest AddVoTest 1.0 (100%)
AuthorListVoTest AuthorListVoTest 1.0 (100%)
AuthorVoTest AuthorVoTest 1.0 (100%)
AxiomVoTest AxiomVoTest 1.0 (100%)
ChangedRuleListVoTest ChangedRuleListVoTest 1.0 (100%)
ChangedRuleVoTest ChangedRuleVoTest 1.0 (100%)
ChapterListVoTest ChapterListVoTest 1.0 (100%)
ChapterVoTest ChapterVoTest 1.0 (100%)
ConclusionVoTest ConclusionVoTest 1.0 (100%)
ConditionalProofVoTest ConditionalProofVoTest 1.0 (100%)
ConfigAccessTest ConfigAccessTest 0.925 (92.5%)
DefaultAtomTest DefaultAtomTest 0.9390244 (93.9%)
DefaultContextCheckerTest DefaultContextCheckerTest 1.0 (100%)
DefaultElementListTest DefaultElementListTest 0.875 (87.5%)
DefaultModuleAddressTest DefaultModuleAddressTest 0.95348835 (95.3%)
DependencyStateTest DependencyStateTest 1.0 (100%)
ElementSetTest ElementSetTest 0.8195122 (82%)
ExistentialVoTest ExistentialVoTest 1.0 (100%)
FormalProofLineListVoTest FormalProofLineListVoTest 1.0 (100%)
FormalProofLineVoTest FormalProofLineVoTest 1.0 (100%)
FormalProofListVoTest FormalProofListVoTest 1.0 (100%)
FormalProofVoTest FormalProofVoTest 1.0 (100%)
FormallyProvedStateTest FormallyProvedStateTest 1.0 (100%)
FormulaVoTest FormulaVoTest 1.0 (100%)
FunctionDefinitionVoTest FunctionDefinitionVoTest 1.0 (100%)
HeaderVoTest HeaderVoTest 1.0 (100%)
HypothesisVoTest HypothesisVoTest 1.0 (100%)
IllegalModuleDataExceptionTest IllegalModuleDataExceptionTest 0.97183096 (97.2%)
ImportListVoTest ImportListVoTest 1.0 (100%)
ImportVoTest ImportVoTest 1.0 (100%)
InitialFunctionDefinitionVoTest InitialFunctionDefinitionVoTest 1.0 (100%)
InitialPredicateDefinitionVoTest InitialPredicateDefinitionVoTest 1.0 (100%)
InterruptExceptionTest InterruptExceptionTest 1.0 (100%)
KernelSeEachClassHasATest KernelSeEachClassHasATest 0.5 (50%)
LatexList2TextTest LatexList2TextTest 1.0 (100%)
LatexListVoTest LatexListVoTest 1.0 (100%)
LatexVoTest LatexVoTest 1.0 (100%)
LinkListVoTest LinkListVoTest 1.0 (100%)
LiteratureItemListVoTest LiteratureItemListVoTest 1.0 (100%)
LiteratureItemVoTest LiteratureItemVoTest 1.0 (100%)
LoadingImportsStateTest LoadingImportsStateTest 1.0 (100%)
LoadingStateTest LoadingStateTest 1.0 (100%)
LocationListVoTest LocationListVoTest 1.0 (100%)
LocationVoTest LocationVoTest 1.0 (100%)
ModuleContextTest ModuleContextTest 0.93043476 (93%)
ModuleDataExceptionTest ModuleDataExceptionTest 0.97619045 (97.6%)
ModusPonensVoTest ModusPonensVoTest 1.0 (100%)
NodeVoTest NodeVoTest 1.0 (100%)
PredicateDefinitionVoTest PredicateDefinitionVoTest 1.0 (100%)
ProofListVoTest ProofListVoTest 1.0 (100%)
ProofVoTest ProofVoTest 1.0 (100%)
PropositionVoTest PropositionVoTest 1.0 (100%)
QedeqConfigTest QedeqConfigTest 0.89873415 (89.9%)
QedeqExceptionTest QedeqExceptionTest 0.9444444 (94.4%)
QedeqNotNullTraverserTest QedeqNotNullTraverserTest 0.22727273 (22.7%)
QedeqNumbersTest QedeqNumbersTest 0.97979796 (98%)
QedeqVisitorTester QedeqVisitorTester 0.95581394 (95.6%)
QedeqVoCreator QedeqVoCreator 0.8212766 (82.1%)
QedeqVoTest QedeqVoTest 1.0 (100%)
RenameVoTest RenameVoTest 1.0 (100%)
RigidContextChecker RigidContextChecker 0.0 (0%)
RuleKeyTest RuleKeyTest 0.96153843 (96.2%)
RuleVoTest RuleVoTest 1.0 (100%)
SectionListVoTest SectionListVoTest 1.0 (100%)
SectionVoTest SectionVoTest 1.0 (100%)
SourceFileExceptionListTest SourceFileExceptionListTest 0.9160305 (91.6%)
SourceFileExceptionTest SourceFileExceptionTest 0.91588783 (91.6%)
SpecificationVoTest SpecificationVoTest 1.0 (100%)
SubsectionListVoTest SubsectionListVoTest 1.0 (100%)
SubsectionVoTest SubsectionVoTest 1.0 (100%)
SubstFreeVoTest SubstFreeVoTest 1.0 (100%)
SubstFuncVoTest SubstFuncVoTest 1.0 (100%)
SubstPredVoTest SubstPredVoTest 1.0 (100%)
TermVoTest TermVoTest 1.0 (100%)
UniversalVoTest UniversalVoTest 1.0 (100%)
UsedByListVoTest UsedByListVoTest 1.0 (100%)
WellFormedStateTest WellFormedStateTest 1.0 (100%)