Loading...
Test Case % Success
AbstractModuleVisitorTest AbstractModuleVisitorTest 1.0 (100%)
AbstractStateTest AbstractStateTest 1.0 (100%)
AbstractValueObjectTestCase AbstractValueObjectTestCase -1.0 ( - )
AbstractVoModuleTestCase AbstractVoModuleTestCase -1.0 ( - )
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 1.0 (100%)
DefaultAtomTest DefaultAtomTest 1.0 (100%)
DefaultContextCheckerTest DefaultContextCheckerTest 1.0 (100%)
DefaultElementListTest DefaultElementListTest 1.0 (100%)
DefaultModuleAddressTest DefaultModuleAddressTest 1.0 (100%)
DependencyStateTest DependencyStateTest 1.0 (100%)
ElementSetTest ElementSetTest 1.0 (100%)
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 1.0 (100%)
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 -1.0 ( - )
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 1.0 (100%)
ModuleDataExceptionTest ModuleDataExceptionTest 1.0 (100%)
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 1.0 (100%)
QedeqExceptionTest QedeqExceptionTest 1.0 (100%)
QedeqNotNullTraverserTest QedeqNotNullTraverserTest 1.0 (100%)
QedeqNumbersTest QedeqNumbersTest 1.0 (100%)
QedeqVisitorTester QedeqVisitorTester -1.0 ( - )
QedeqVoCreator QedeqVoCreator -1.0 ( - )
QedeqVoTest QedeqVoTest 1.0 (100%)
RenameVoTest RenameVoTest 1.0 (100%)
RigidContextChecker RigidContextChecker -1.0 ( - )
RuleKeyTest RuleKeyTest 1.0 (100%)
RuleVoTest RuleVoTest 1.0 (100%)
SectionListVoTest SectionListVoTest 1.0 (100%)
SectionVoTest SectionVoTest 1.0 (100%)
SourceFileExceptionListTest SourceFileExceptionListTest 1.0 (100%)
SourceFileExceptionTest SourceFileExceptionTest 1.0 (100%)
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%)