Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.logic.ProofCheckerFactoryImplTest

NameTestsErrorsFailuresTime(s)Time StampHost
ProofCheckerFactoryImplTest1000.3242014-02-13T22:53:57vserver3141

Tests

NameStatusTypeTime(s)
testCreateFormulaCheckerSuccess0.292
Properties »