Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofCheckerPluginTest5005.8472014-02-14T01:44:31vserver3141

Tests

NameStatusTypeTime(s)
testPluginSuccess1.018
testPlugin2Success1.406
testPlugin3Success2.467
testPlugin4Success0.877
testProof_003Success0.065
Properties »