Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.se.state

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
AbstractStateTest7000.0472014-02-14T07:27:48vserver3141
DependencyStateTest7000.0482014-02-14T07:27:48vserver3141
FormallyProvedStateTest6000.0642014-02-14T07:27:49vserver3141
LoadingImportsStateTest7000.0842014-02-14T07:27:50vserver3141
LoadingStateTest6000.0892014-02-14T07:27:51vserver3141
WellFormedStateTest6000.0722014-02-14T07:27:52vserver3141