Name | Status | Type | Time(s) |
testGetBuildId | Success | | 0.058 |
testGetKernelVersion | Success | | 0.003 |
testGetDedicationVersion | Success | | 0.002 |
testGetDescriptiveKernelVersion | Success | | 0.002 |
testGetKernelCodeName | Success | | 0.004 |
testGetKernelVersionDirectory | Success | | 0.002 |
testIsRuleVersionSupported | Success | | 0.004 |
testGetMaximalRuleVersion | Success | | 0.002 |
testIsSetConnectionTimeOutSupported | Success | | 0.003 |
testIsSetReadTimeoutSupported | Success | | 0.002 |
testGetConfig | Success | | 0.067 |
testInit | Success | | 0.004 |
testStartup | Success | | 0.003 |
testShutdown | Success | | 0.015 |
testRemoveAllModules | Success | | 0.003 |
testRemoveModule | Success | | 0.006 |
testClearLocalBuffer | Success | | 0.006 |
testLoadModule | Success | | 0.003 |
testLoadAllModulesFromQedeq | Success | | 0.003 |
testLoadRequiredModules | Success | | 0.007 |
testGetAllLoadedModules | Success | | 0.003 |
testGetQedeqBo | Success | | 0.017 |
testGetModuleAddress | Success | | 0.005 |
testGetModuleAddress2 | Success | | 0.002 |
testGetModuleAddress3 | Success | | 0.002 |
testGetSource | Success | | 0.003 |
testCheckWellFormedness | Success | | 0.002 |
testCheckFormallyProved | Success | | 0.002 |
testGetPlugins | Success | | 0.002 |
testExecutePlugin | Success | | 0.004 |
testClearAllPluginResults | Success | | 0.002 |
testGetServiceProcesses | Success | | 0.002 |
testGetRunningServiceProcesses | Success | | 0.002 |
testStopAllPluginExecutions | Success | | 0.003 |