Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.se.state.FormallyProvedStateTest

NameTestsErrorsFailuresTime(s)Time StampHost
FormallyProvedStateTest6000.1722014-02-13T22:52:40vserver3141

Tests

NameStatusTypeTime(s)
testGetCodeSuccess0.081
testGetTextSuccess0.006
testToStringSuccess0.018
testIsFailureSuccess0.006
testEqualsSuccess0.007
testHashCodeSuccess0.006
Properties »