Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofListVoTest1000.1002014-02-13T22:51:37vserver3141

Tests

NameStatusTypeTime(s)
testAllSuccess0.086
Properties »