Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.se.state

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
AbstractStateTest7000.3802014-02-13T22:52:37vserver3141
DependencyStateTest7000.0962014-02-13T22:52:39vserver3141
FormallyProvedStateTest6000.1722014-02-13T22:52:40vserver3141
LoadingImportsStateTest7000.1082014-02-13T22:52:42vserver3141
LoadingStateTest6000.1252014-02-13T22:52:44vserver3141
WellFormedStateTest6000.2212014-02-13T22:52:45vserver3141