Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest

NameTestsErrorsFailuresTime(s)Time StampHost
ProofCheckerTest3003.4642014-02-13T22:57:10vserver3141

Tests

NameStatusTypeTime(s)
testCheck1Success2.465
testCheck4Success0.521
testCheck6Success0.432
Properties »