Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class org.qedeq.kernel.se.dto.module.FormalProofVoTest
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
FormalProofVoTest
2
0
0
0.080
2014-02-14T07:27:15
vserver3141
Tests
Name
Status
Type
Time(s)
testConstructor
Success
0.026
testAll
Success
0.025
Properties »