Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
AddVoTest | 4 | 0 | 0 | 0.396 | 2014-02-13T22:51:13 | vserver3141 |
AuthorListVoTest | 1 | 0 | 0 | 0.042 | 2014-02-13T22:51:15 | vserver3141 |
AuthorVoTest | 2 | 0 | 0 | 0.112 | 2014-02-13T22:51:17 | vserver3141 |
AxiomVoTest | 2 | 0 | 0 | 0.165 | 2014-02-13T22:51:19 | vserver3141 |
ChangedRuleListVoTest | 1 | 0 | 0 | 0.154 | 2014-02-13T22:51:20 | vserver3141 |
ChangedRuleVoTest | 1 | 0 | 0 | 0.113 | 2014-02-13T22:51:22 | vserver3141 |
ChapterListVoTest | 1 | 0 | 0 | 0.140 | 2014-02-13T22:51:24 | vserver3141 |
ChapterVoTest | 1 | 0 | 0 | 0.383 | 2014-02-13T22:51:26 | vserver3141 |
ConclusionVoTest | 5 | 0 | 0 | 0.797 | 2014-02-13T22:51:28 | vserver3141 |
ConditionalProofVoTest | 4 | 0 | 0 | 0.204 | 2014-02-13T22:51:31 | vserver3141 |
ExistentialVoTest | 4 | 0 | 0 | 0.123 | 2014-02-13T22:51:32 | vserver3141 |
FormalProofLineListVoTest | 1 | 0 | 0 | 0.074 | 2014-02-13T22:51:34 | vserver3141 |
FormalProofLineVoTest | 2 | 0 | 0 | 0.095 | 2014-02-13T22:51:35 | vserver3141 |
FormalProofListVoTest | 1 | 0 | 0 | 0.100 | 2014-02-13T22:51:37 | vserver3141 |
FormalProofVoTest | 2 | 0 | 0 | 0.130 | 2014-02-13T22:51:38 | vserver3141 |
FormulaVoTest | 1 | 0 | 0 | 0.100 | 2014-02-13T22:51:39 | vserver3141 |
FunctionDefinitionVoTest | 2 | 0 | 0 | 0.110 | 2014-02-13T22:51:40 | vserver3141 |
HeaderVoTest | 1 | 0 | 0 | 0.174 | 2014-02-13T22:51:42 | vserver3141 |
HypothesisVoTest | 3 | 0 | 0 | 0.077 | 2014-02-13T22:51:43 | vserver3141 |
ImportListVoTest | 1 | 0 | 0 | 0.053 | 2014-02-13T22:51:44 | vserver3141 |
ImportVoTest | 2 | 0 | 0 | 0.117 | 2014-02-13T22:51:45 | vserver3141 |
InitialFunctionDefinitionVoTest | 2 | 0 | 0 | 0.324 | 2014-02-13T22:51:47 | vserver3141 |
InitialPredicateDefinitionVoTest | 2 | 0 | 0 | 0.107 | 2014-02-13T22:51:50 | vserver3141 |
LatexListVoTest | 1 | 0 | 0 | 0.094 | 2014-02-13T22:51:51 | vserver3141 |
LatexVoTest | 1 | 0 | 0 | 0.077 | 2014-02-13T22:51:52 | vserver3141 |
LinkListVoTest | 1 | 0 | 0 | 0.076 | 2014-02-13T22:51:53 | vserver3141 |
LiteratureItemListVoTest | 1 | 0 | 0 | 0.086 | 2014-02-13T22:51:55 | vserver3141 |
LiteratureItemVoTest | 1 | 0 | 0 | 0.050 | 2014-02-13T22:51:56 | vserver3141 |
LocationListVoTest | 1 | 0 | 0 | 0.137 | 2014-02-13T22:51:57 | vserver3141 |
LocationVoTest | 1 | 0 | 0 | 0.101 | 2014-02-13T22:52:00 | vserver3141 |
ModusPonensVoTest | 6 | 0 | 0 | 0.171 | 2014-02-13T22:52:01 | vserver3141 |
NodeVoTest | 11 | 0 | 0 | 0.197 | 2014-02-13T22:52:03 | vserver3141 |
PredicateDefinitionVoTest | 2 | 0 | 0 | 0.116 | 2014-02-13T22:52:04 | vserver3141 |
ProofListVoTest | 1 | 0 | 0 | 0.073 | 2014-02-13T22:52:05 | vserver3141 |
ProofVoTest | 1 | 0 | 0 | 0.117 | 2014-02-13T22:52:07 | vserver3141 |
PropositionVoTest | 2 | 0 | 0 | 0.145 | 2014-02-13T22:52:09 | vserver3141 |
QedeqVoTest | 1 | 0 | 0 | 0.366 | 2014-02-13T22:52:11 | vserver3141 |
RenameVoTest | 4 | 0 | 0 | 0.148 | 2014-02-13T22:52:13 | vserver3141 |
RuleVoTest | 2 | 0 | 0 | 0.221 | 2014-02-13T22:52:15 | vserver3141 |
SectionListVoTest | 1 | 0 | 0 | 0.172 | 2014-02-13T22:52:17 | vserver3141 |
SectionVoTest | 1 | 0 | 0 | 0.209 | 2014-02-13T22:52:19 | vserver3141 |
SpecificationVoTest | 1 | 0 | 0 | 0.129 | 2014-02-13T22:52:20 | vserver3141 |
SubsectionListVoTest | 1 | 0 | 0 | 0.218 | 2014-02-13T22:52:22 | vserver3141 |
SubsectionVoTest | 3 | 0 | 0 | 0.087 | 2014-02-13T22:52:24 | vserver3141 |
SubstFreeVoTest | 4 | 0 | 0 | 0.128 | 2014-02-13T22:52:26 | vserver3141 |
SubstFuncVoTest | 4 | 0 | 0 | 0.191 | 2014-02-13T22:52:27 | vserver3141 |
SubstPredVoTest | 4 | 0 | 0 | 0.120 | 2014-02-13T22:52:30 | vserver3141 |
TermVoTest | 2 | 0 | 0 | 0.133 | 2014-02-13T22:52:32 | vserver3141 |
UniversalVoTest | 4 | 0 | 0 | 0.110 | 2014-02-13T22:52:34 | vserver3141 |
UsedByListVoTest | 1 | 0 | 0 | 0.077 | 2014-02-13T22:52:36 | vserver3141 |