Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormallyProvedStateTest6000.0642014-02-14T07:27:49vserver3141

Tests

NameStatusTypeTime(s)
testGetCodeSuccess0.025
testGetTextSuccess0.003
testToStringSuccess0.003
testIsFailureSuccess0.007
testEqualsSuccess0.002
testHashCodeSuccess0.001
Properties »