Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofLineVoTest2000.0492014-02-14T07:27:13vserver3141

Tests

NameStatusTypeTime(s)
testConstructosSuccess0.018
testAllSuccess0.017
Properties »