Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.se.dto.module.ConditionalProofVoTest

NameTestsErrorsFailuresTime(s)Time StampHost
ConditionalProofVoTest4000.1652014-02-14T07:27:10vserver3141

Tests

NameStatusTypeTime(s)
testGetLabelSuccess0.040
testGetFormulaSuccess0.006
testUnuasalGetterSuccess0.013
testAllSuccess0.072
Properties »