Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofCheckerPluginTest50010.0612014-02-14T07:16:32vserver3141

Tests

NameStatusTypeTime(s)
testPluginSuccess1.309
testPlugin2Success2.132
testPlugin3Success5.412
testPlugin4Success1.139
testProof_003Success0.042
Properties »