Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.bo.logic.proof.finder

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
ProofFinderImplTest300102.5042014-02-14T01:52:16vserver3141