Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofLineListVoTest1000.0472014-02-14T07:27:12vserver3141

Tests

NameStatusTypeTime(s)
testAllSuccess0.032
Properties »