Unit Test Results.

Designed for use with JUnit and Ant.

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

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofCheckerPluginTest5005.8472014-02-14T01:44:31vserver3141
QedeqBoFormalLogicCheckerDirectTest5001.1292014-02-14T01:44:38vserver3141
QedeqBoFormalLogicCheckerTest1001.4522014-02-14T01:44:40vserver3141
SimpleProofFinderPluginTest300158.5632014-02-14T01:44:42vserver3141