Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest

NameTestsErrorsFailuresTime(s)Time StampHost
ProofFinderImplTest30067.2422014-02-13T22:57:16vserver3141

Tests

NameStatusTypeTime(s)
testFindSuccess16.464
testFind2Success50.377
testFind3Success0.306
Properties »
System.out »