Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofVoTest2000.1302014-02-13T22:51:38vserver3141

Tests

NameStatusTypeTime(s)
testConstructorSuccess0.043
testAllSuccess0.051
Properties »