Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormulaCheckerClassTermTest | 8 | 0 | 0 | 0.288 | 2014-02-13T22:58:24 | vserver3141 |
FormulaCheckerContextTest | 12 | 0 | 0 | 11.031 | 2014-02-13T22:58:26 | vserver3141 |
FormulaCheckerFormulaTest | 6 | 0 | 0 | 0.185 | 2014-02-13T22:58:38 | vserver3141 |
FormulaCheckerFunctionTermTest | 14 | 0 | 0 | 0.571 | 2014-02-13T22:58:40 | vserver3141 |
FormulaCheckerGlobalTest | 19 | 0 | 0 | 0.266 | 2014-02-13T22:58:42 | vserver3141 |
FormulaCheckerLogicalConnectivesTest | 24 | 0 | 0 | 0.406 | 2014-02-13T22:58:43 | vserver3141 |
FormulaCheckerNegationTest | 3 | 0 | 0 | 0.324 | 2014-02-13T22:58:46 | vserver3141 |
FormulaCheckerPredicateFormulaTest | 13 | 0 | 0 | 0.253 | 2014-02-13T22:58:47 | vserver3141 |
FormulaCheckerQuantifiersTest | 30 | 0 | 0 | 0.457 | 2014-02-13T22:58:49 | vserver3141 |
FormulaCheckerSubjectVariableTest | 4 | 0 | 0 | 0.223 | 2014-02-13T22:58:51 | vserver3141 |
FormulaCheckerTermTest | 14 | 0 | 0 | 1.694 | 2014-02-13T22:58:52 | vserver3141 |
FormulaCheckerTest | 21 | 0 | 0 | 0.608 | 2014-02-13T22:58:56 | vserver3141 |