Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
AddVoTest | 4 | 0 | 0 | 0.049 | 2014-02-14T07:27:01 | vserver3141 |
AuthorListVoTest | 1 | 0 | 0 | 0.041 | 2014-02-14T07:27:02 | vserver3141 |
AuthorVoTest | 2 | 0 | 0 | 0.086 | 2014-02-14T07:27:03 | vserver3141 |
AxiomVoTest | 2 | 0 | 0 | 0.134 | 2014-02-14T07:27:04 | vserver3141 |
ChangedRuleListVoTest | 1 | 0 | 0 | 0.041 | 2014-02-14T07:27:04 | vserver3141 |
ChangedRuleVoTest | 1 | 0 | 0 | 0.069 | 2014-02-14T07:27:05 | vserver3141 |
ChapterListVoTest | 1 | 0 | 0 | 0.109 | 2014-02-14T07:27:06 | vserver3141 |
ChapterVoTest | 1 | 0 | 0 | 0.134 | 2014-02-14T07:27:07 | vserver3141 |
ConclusionVoTest | 5 | 0 | 0 | 0.468 | 2014-02-14T07:27:08 | vserver3141 |
ConditionalProofVoTest | 4 | 0 | 0 | 0.165 | 2014-02-14T07:27:10 | vserver3141 |
ExistentialVoTest | 4 | 0 | 0 | 0.090 | 2014-02-14T07:27:12 | vserver3141 |
FormalProofLineListVoTest | 1 | 0 | 0 | 0.047 | 2014-02-14T07:27:12 | vserver3141 |
FormalProofLineVoTest | 2 | 0 | 0 | 0.049 | 2014-02-14T07:27:13 | vserver3141 |
FormalProofListVoTest | 1 | 0 | 0 | 0.058 | 2014-02-14T07:27:14 | vserver3141 |
FormalProofVoTest | 2 | 0 | 0 | 0.080 | 2014-02-14T07:27:15 | vserver3141 |
FormulaVoTest | 1 | 0 | 0 | 0.044 | 2014-02-14T07:27:15 | vserver3141 |
FunctionDefinitionVoTest | 2 | 0 | 0 | 0.060 | 2014-02-14T07:27:16 | vserver3141 |
HeaderVoTest | 1 | 0 | 0 | 0.111 | 2014-02-14T07:27:17 | vserver3141 |
HypothesisVoTest | 3 | 0 | 0 | 0.052 | 2014-02-14T07:27:18 | vserver3141 |
ImportListVoTest | 1 | 0 | 0 | 0.043 | 2014-02-14T07:27:19 | vserver3141 |
ImportVoTest | 2 | 0 | 0 | 0.046 | 2014-02-14T07:27:20 | vserver3141 |
InitialFunctionDefinitionVoTest | 2 | 0 | 0 | 0.105 | 2014-02-14T07:27:21 | vserver3141 |
InitialPredicateDefinitionVoTest | 2 | 0 | 0 | 0.054 | 2014-02-14T07:27:22 | vserver3141 |
LatexListVoTest | 1 | 0 | 0 | 0.060 | 2014-02-14T07:27:23 | vserver3141 |
LatexVoTest | 1 | 0 | 0 | 0.048 | 2014-02-14T07:27:23 | vserver3141 |
LinkListVoTest | 1 | 0 | 0 | 0.034 | 2014-02-14T07:27:24 | vserver3141 |
LiteratureItemListVoTest | 1 | 0 | 0 | 0.038 | 2014-02-14T07:27:25 | vserver3141 |
LiteratureItemVoTest | 1 | 0 | 0 | 0.093 | 2014-02-14T07:27:26 | vserver3141 |
LocationListVoTest | 1 | 0 | 0 | 0.047 | 2014-02-14T07:27:27 | vserver3141 |
LocationVoTest | 1 | 0 | 0 | 0.040 | 2014-02-14T07:27:28 | vserver3141 |
ModusPonensVoTest | 6 | 0 | 0 | 0.115 | 2014-02-14T07:27:29 | vserver3141 |
NodeVoTest | 11 | 0 | 0 | 0.942 | 2014-02-14T07:27:30 | vserver3141 |
PredicateDefinitionVoTest | 2 | 0 | 0 | 0.079 | 2014-02-14T07:27:31 | vserver3141 |
ProofListVoTest | 1 | 0 | 0 | 0.042 | 2014-02-14T07:27:32 | vserver3141 |
ProofVoTest | 1 | 0 | 0 | 0.044 | 2014-02-14T07:27:33 | vserver3141 |
PropositionVoTest | 2 | 0 | 0 | 0.092 | 2014-02-14T07:27:34 | vserver3141 |
QedeqVoTest | 1 | 0 | 0 | 0.140 | 2014-02-14T07:27:34 | vserver3141 |
RenameVoTest | 4 | 0 | 0 | 0.123 | 2014-02-14T07:27:35 | vserver3141 |
RuleVoTest | 2 | 0 | 0 | 0.148 | 2014-02-14T07:27:36 | vserver3141 |
SectionListVoTest | 1 | 0 | 0 | 0.143 | 2014-02-14T07:27:37 | vserver3141 |
SectionVoTest | 1 | 0 | 0 | 0.132 | 2014-02-14T07:27:38 | vserver3141 |
SpecificationVoTest | 1 | 0 | 0 | 0.086 | 2014-02-14T07:27:39 | vserver3141 |
SubsectionListVoTest | 1 | 0 | 0 | 0.071 | 2014-02-14T07:27:41 | vserver3141 |
SubsectionVoTest | 3 | 0 | 0 | 0.464 | 2014-02-14T07:27:42 | vserver3141 |
SubstFreeVoTest | 4 | 0 | 0 | 0.063 | 2014-02-14T07:27:43 | vserver3141 |
SubstFuncVoTest | 4 | 0 | 0 | 0.109 | 2014-02-14T07:27:44 | vserver3141 |
SubstPredVoTest | 4 | 0 | 0 | 0.062 | 2014-02-14T07:27:45 | vserver3141 |
TermVoTest | 2 | 0 | 0 | 0.084 | 2014-02-14T07:27:46 | vserver3141 |
UniversalVoTest | 4 | 0 | 0 | 0.071 | 2014-02-14T07:27:46 | vserver3141 |
UsedByListVoTest | 1 | 0 | 0 | 0.042 | 2014-02-14T07:27:47 | vserver3141 |