Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofVoTest2000.0802014-02-14T07:27:15vserver3141

Tests

NameStatusTypeTime(s)
testConstructorSuccess0.026
testAllSuccess0.025
Properties »