Unit Test Results.

Designed for use with JUnit and Ant.

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

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
AddVoTest4000.3962014-02-13T22:51:13vserver3141
AuthorListVoTest1000.0422014-02-13T22:51:15vserver3141
AuthorVoTest2000.1122014-02-13T22:51:17vserver3141
AxiomVoTest2000.1652014-02-13T22:51:19vserver3141
ChangedRuleListVoTest1000.1542014-02-13T22:51:20vserver3141
ChangedRuleVoTest1000.1132014-02-13T22:51:22vserver3141
ChapterListVoTest1000.1402014-02-13T22:51:24vserver3141
ChapterVoTest1000.3832014-02-13T22:51:26vserver3141
ConclusionVoTest5000.7972014-02-13T22:51:28vserver3141
ConditionalProofVoTest4000.2042014-02-13T22:51:31vserver3141
ExistentialVoTest4000.1232014-02-13T22:51:32vserver3141
FormalProofLineListVoTest1000.0742014-02-13T22:51:34vserver3141
FormalProofLineVoTest2000.0952014-02-13T22:51:35vserver3141
FormalProofListVoTest1000.1002014-02-13T22:51:37vserver3141
FormalProofVoTest2000.1302014-02-13T22:51:38vserver3141
FormulaVoTest1000.1002014-02-13T22:51:39vserver3141
FunctionDefinitionVoTest2000.1102014-02-13T22:51:40vserver3141
HeaderVoTest1000.1742014-02-13T22:51:42vserver3141
HypothesisVoTest3000.0772014-02-13T22:51:43vserver3141
ImportListVoTest1000.0532014-02-13T22:51:44vserver3141
ImportVoTest2000.1172014-02-13T22:51:45vserver3141
InitialFunctionDefinitionVoTest2000.3242014-02-13T22:51:47vserver3141
InitialPredicateDefinitionVoTest2000.1072014-02-13T22:51:50vserver3141
LatexListVoTest1000.0942014-02-13T22:51:51vserver3141
LatexVoTest1000.0772014-02-13T22:51:52vserver3141
LinkListVoTest1000.0762014-02-13T22:51:53vserver3141
LiteratureItemListVoTest1000.0862014-02-13T22:51:55vserver3141
LiteratureItemVoTest1000.0502014-02-13T22:51:56vserver3141
LocationListVoTest1000.1372014-02-13T22:51:57vserver3141
LocationVoTest1000.1012014-02-13T22:52:00vserver3141
ModusPonensVoTest6000.1712014-02-13T22:52:01vserver3141
NodeVoTest11000.1972014-02-13T22:52:03vserver3141
PredicateDefinitionVoTest2000.1162014-02-13T22:52:04vserver3141
ProofListVoTest1000.0732014-02-13T22:52:05vserver3141
ProofVoTest1000.1172014-02-13T22:52:07vserver3141
PropositionVoTest2000.1452014-02-13T22:52:09vserver3141
QedeqVoTest1000.3662014-02-13T22:52:11vserver3141
RenameVoTest4000.1482014-02-13T22:52:13vserver3141
RuleVoTest2000.2212014-02-13T22:52:15vserver3141
SectionListVoTest1000.1722014-02-13T22:52:17vserver3141
SectionVoTest1000.2092014-02-13T22:52:19vserver3141
SpecificationVoTest1000.1292014-02-13T22:52:20vserver3141
SubsectionListVoTest1000.2182014-02-13T22:52:22vserver3141
SubsectionVoTest3000.0872014-02-13T22:52:24vserver3141
SubstFreeVoTest4000.1282014-02-13T22:52:26vserver3141
SubstFuncVoTest4000.1912014-02-13T22:52:27vserver3141
SubstPredVoTest4000.1202014-02-13T22:52:30vserver3141
TermVoTest2000.1332014-02-13T22:52:32vserver3141
UniversalVoTest4000.1102014-02-13T22:52:34vserver3141
UsedByListVoTest1000.0772014-02-13T22:52:36vserver3141