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.095
2014-02-13T22:51:35
vserver3141
Tests
Name
Status
Type
Time(s)
testConstructos
Success
0.041
testAll
Success
0.021
Properties »