Searched refs:releaseCommand (Results 1 – 7 of 7) sorted by relevance
39 __CPROVER_assume( pMqttAgentContext->agentInterface.releaseCommand != NULL ); in harness()
138 MQTTAgentCommandRelease_t releaseCommand; /**< Function to release an allocated command. */ member
737 commandReleased = pMqttAgentContext->agentInterface.releaseCommand( pCommand ); in createAndAddCommand()772 assert( pAgentContext->agentInterface.releaseCommand != NULL ); in concludeCommand()783 commandReleased = pAgentContext->agentInterface.releaseCommand( pCommand ); in concludeCommand()893 ( pMqttAgentContext->agentInterface.releaseCommand == NULL ) || in validateStruct()968 ( pMsgInterface->releaseCommand == NULL ) ) in MQTTAgent_Init()
230 assert( pMqttAgentContext->agentInterface.releaseCommand != NULL ); in MQTTAgentCommand_Terminate()
106 pMessageInterface->releaseCommand = Agent_ReleaseCommand; in allocateMqttAgentContext()
342 messageInterface.releaseCommand = stubReleaseCommand; in setupAgentContext()398 agentContext.agentInterface.releaseCommand = NULL; in invalidParamsTestFunc()402 agentContext.agentInterface.releaseCommand = stubReleaseCommand; in invalidParamsTestFunc()433 msgInterface.releaseCommand = stubReleaseCommand; in test_MQTTAgent_Init_Happy_Path()462 msgInterface.releaseCommand = stubReleaseCommand; in test_MQTTAgent_Init_Invalid_Params()496 msgInterface.releaseCommand = NULL; in test_MQTTAgent_Init_Invalid_Params()500 msgInterface.releaseCommand = stubReleaseCommand; in test_MQTTAgent_Init_Invalid_Params()
525 mqttAgentContext.agentInterface.releaseCommand = stubReleaseCommand; in test_MQTTAgentCommand_Terminate()
