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.130
2014-02-13T22:51:38
vserver3141
Tests
Name
Status
Type
Time(s)
testConstructor
Success
0.043
testAll
Success
0.051
Properties »