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%)
|