Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
ProofCheckerTest3002.9372014-02-14T01:52:12vserver3141

Tests

NameStatusTypeTime(s)
testCheck1Success1.120
testCheck4Success1.073
testCheck6Success0.503
Properties »