Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class org.qedeq.kernel.se.dto.module.FormalProofLineVoTest
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
FormalProofLineVoTest
2
0
0
0.049
2014-02-14T07:27:13
vserver3141
Tests
Name
Status
Type
Time(s)
testConstructos
Success
0.018
testAll
Success
0.017
Properties »