Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.logic.wf.FormulaCheckerPredicateFormulaTest

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerPredicateFormulaTest13000.1402014-02-14T01:54:12vserver3141

Tests

NameStatusTypeTime(s)
testPredicateFormulaPositive01Success0.083
testPredicateFormulaPositive02Success0.002
testPredicateFormulaNegative01Success0.006
testPredicateFormulaNegative02Success0.002
testPredicateFormulaNegative09Success0.003
testPredicateFormulaNegative10Success0.002
testPredicateFormulaNegative13Success0.002
testPredicateFormulaNegative14Success0.002
testPredicateFormulaNegative15Success0.004
testPredicateFormulaNegative16Success0.004
testPredicateFormulaNegative19Success0.003
testPredicateFormulaNegative20Success0.001
testPredicateFormulaNegative22Success0.001
Properties »