Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormalProofLineVoTest2000.0952014-02-13T22:51:35vserver3141

Tests

NameStatusTypeTime(s)
testConstructosSuccess0.041
testAllSuccess0.021
Properties »