Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofListVoTest1000.0582014-02-14T07:27:14vserver3141

Tests

NameStatusTypeTime(s)
testAllSuccess0.042
Properties »