Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.se.dto.module

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
AddVoTest4000.0492014-02-14T07:27:01vserver3141
AuthorListVoTest1000.0412014-02-14T07:27:02vserver3141
AuthorVoTest2000.0862014-02-14T07:27:03vserver3141
AxiomVoTest2000.1342014-02-14T07:27:04vserver3141
ChangedRuleListVoTest1000.0412014-02-14T07:27:04vserver3141
ChangedRuleVoTest1000.0692014-02-14T07:27:05vserver3141
ChapterListVoTest1000.1092014-02-14T07:27:06vserver3141
ChapterVoTest1000.1342014-02-14T07:27:07vserver3141
ConclusionVoTest5000.4682014-02-14T07:27:08vserver3141
ConditionalProofVoTest4000.1652014-02-14T07:27:10vserver3141
ExistentialVoTest4000.0902014-02-14T07:27:12vserver3141
FormalProofLineListVoTest1000.0472014-02-14T07:27:12vserver3141
FormalProofLineVoTest2000.0492014-02-14T07:27:13vserver3141
FormalProofListVoTest1000.0582014-02-14T07:27:14vserver3141
FormalProofVoTest2000.0802014-02-14T07:27:15vserver3141
FormulaVoTest1000.0442014-02-14T07:27:15vserver3141
FunctionDefinitionVoTest2000.0602014-02-14T07:27:16vserver3141
HeaderVoTest1000.1112014-02-14T07:27:17vserver3141
HypothesisVoTest3000.0522014-02-14T07:27:18vserver3141
ImportListVoTest1000.0432014-02-14T07:27:19vserver3141
ImportVoTest2000.0462014-02-14T07:27:20vserver3141
InitialFunctionDefinitionVoTest2000.1052014-02-14T07:27:21vserver3141
InitialPredicateDefinitionVoTest2000.0542014-02-14T07:27:22vserver3141
LatexListVoTest1000.0602014-02-14T07:27:23vserver3141
LatexVoTest1000.0482014-02-14T07:27:23vserver3141
LinkListVoTest1000.0342014-02-14T07:27:24vserver3141
LiteratureItemListVoTest1000.0382014-02-14T07:27:25vserver3141
LiteratureItemVoTest1000.0932014-02-14T07:27:26vserver3141
LocationListVoTest1000.0472014-02-14T07:27:27vserver3141
LocationVoTest1000.0402014-02-14T07:27:28vserver3141
ModusPonensVoTest6000.1152014-02-14T07:27:29vserver3141
NodeVoTest11000.9422014-02-14T07:27:30vserver3141
PredicateDefinitionVoTest2000.0792014-02-14T07:27:31vserver3141
ProofListVoTest1000.0422014-02-14T07:27:32vserver3141
ProofVoTest1000.0442014-02-14T07:27:33vserver3141
PropositionVoTest2000.0922014-02-14T07:27:34vserver3141
QedeqVoTest1000.1402014-02-14T07:27:34vserver3141
RenameVoTest4000.1232014-02-14T07:27:35vserver3141
RuleVoTest2000.1482014-02-14T07:27:36vserver3141
SectionListVoTest1000.1432014-02-14T07:27:37vserver3141
SectionVoTest1000.1322014-02-14T07:27:38vserver3141
SpecificationVoTest1000.0862014-02-14T07:27:39vserver3141
SubsectionListVoTest1000.0712014-02-14T07:27:41vserver3141
SubsectionVoTest3000.4642014-02-14T07:27:42vserver3141
SubstFreeVoTest4000.0632014-02-14T07:27:43vserver3141
SubstFuncVoTest4000.1092014-02-14T07:27:44vserver3141
SubstPredVoTest4000.0622014-02-14T07:27:45vserver3141
TermVoTest2000.0842014-02-14T07:27:46vserver3141
UniversalVoTest4000.0712014-02-14T07:27:46vserver3141
UsedByListVoTest1000.0422014-02-14T07:27:47vserver3141