Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.bo.logic

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerFactoryImplTest1000.2272014-02-14T01:50:07vserver3141
ProofCheckerFactoryImplTest1000.1572014-02-14T01:50:08vserver3141