Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormulaCheckerClassTermTest | 8 | 0 | 0 | 0.148 | 2014-02-14T01:53:59 | vserver3141 |
FormulaCheckerContextTest | 12 | 0 | 0 | 7.342 | 2014-02-14T01:54:00 | vserver3141 |
FormulaCheckerFormulaTest | 6 | 0 | 0 | 0.170 | 2014-02-14T01:54:08 | vserver3141 |
FormulaCheckerFunctionTermTest | 14 | 0 | 0 | 0.241 | 2014-02-14T01:54:09 | vserver3141 |
FormulaCheckerGlobalTest | 19 | 0 | 0 | 0.162 | 2014-02-14T01:54:10 | vserver3141 |
FormulaCheckerLogicalConnectivesTest | 24 | 0 | 0 | 0.400 | 2014-02-14T01:54:10 | vserver3141 |
FormulaCheckerNegationTest | 3 | 0 | 0 | 0.097 | 2014-02-14T01:54:12 | vserver3141 |
FormulaCheckerPredicateFormulaTest | 13 | 0 | 0 | 0.140 | 2014-02-14T01:54:12 | vserver3141 |
FormulaCheckerQuantifiersTest | 30 | 0 | 0 | 0.336 | 2014-02-14T01:54:13 | vserver3141 |
FormulaCheckerSubjectVariableTest | 4 | 0 | 0 | 0.165 | 2014-02-14T01:54:14 | vserver3141 |
FormulaCheckerTermTest | 14 | 0 | 0 | 0.199 | 2014-02-14T01:54:15 | vserver3141 |
FormulaCheckerTest | 21 | 0 | 0 | 0.375 | 2014-02-14T01:54:16 | vserver3141 |