Home
last modified time | relevance | path

Searched defs:pContext (Results 1 – 3 of 3) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c72 MQTTAgentContext_t * allocateMqttAgentContext( MQTTAgentContext_t * pContext ) in allocateMqttAgentContext()
133 bool isValidMqttAgentContext( const MQTTAgentContext_t * pContext ) in isValidMqttAgentContext()
168 void addPendingAcks( MQTTAgentContext_t * pContext ) in addPendingAcks()
/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dcore_mqtt_stubs.c58 MQTTStatus_t MQTT_Init( MQTTContext_t * pContext, in MQTT_Init()
83 MQTTStatus_t MQTT_ProcessLoop( MQTTContext_t * pContext, in MQTT_ProcessLoop()
160 MQTTStatus_t MQTT_Publish( MQTTContext_t * pContext, in MQTT_Publish()
/CoreMQTT-Agent-v1.1.0/test/unit-test/
Dmqtt_agent_utest.c255 static MQTTStatus_t MQTT_Init_CustomStub( MQTTContext_t * pContext, in MQTT_Init_CustomStub()
276 MQTTStatus_t MQTT_ProcessLoop_CustomStub( MQTTContext_t * pContext, in MQTT_ProcessLoop_CustomStub()
300 MQTTStatus_t MQTT_ProcessLoop_FailSecondAndLaterCallsStub( MQTTContext_t * pContext, in MQTT_ProcessLoop_FailSecondAndLaterCallsStub()