Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.bo.service.logic

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofCheckerPluginTest50010.0612014-02-14T07:16:32vserver3141
QedeqBoFormalLogicCheckerDirectTest5001.4042014-02-14T07:16:42vserver3141
QedeqBoFormalLogicCheckerTest1001.4832014-02-14T07:16:45vserver3141
SimpleProofFinderPluginTest300554.3152014-02-14T07:16:47vserver3141