Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
ConditionalProofVoTest4000.2042014-02-13T22:51:31vserver3141

Tests

NameStatusTypeTime(s)
testGetLabelSuccess0.051
testGetFormulaSuccess0.002
testUnuasalGetterSuccess0.028
testAllSuccess0.063
Properties »