Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.bo.logic.model

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
CalculateTruthDynamicThreeModelTest480014.2482014-02-13T22:54:02vserver3141
CalculateTruthDynamicUnaryModelTest47001.8622014-02-13T22:54:18vserver3141
CalculateTruthThreeModelTest47002.6252014-02-13T22:54:22vserver3141
CalculateTruthUnaryModelTest47001.9472014-02-13T22:54:26vserver3141
DynamicDirectInterpreterTest5100129.6492014-02-13T22:54:30vserver3141
DynamicInterpreterTest450018.6992014-02-13T22:56:41vserver3141
FunctionVariableTest5000.5922014-02-13T22:57:01vserver3141
ModelFunctionConstantTest5001.0242014-02-13T22:57:03vserver3141
ModelPredicateConstantTest5000.3902014-02-13T22:57:05vserver3141
OperatorTest5000.4142014-02-13T22:57:07vserver3141
PredicateVariableTest5000.3102014-02-13T22:57:08vserver3141