| /CoreMQTT-Agent-v1.1.0/test/unit-test/ |
| D | mqtt_agent_utest.c | 337 MQTTStatus_t mqttStatus; in setupAgentContext() local
346 mqttStatus = MQTTAgent_Init( pAgentContext, in setupAgentContext()
353 TEST_ASSERT_EQUAL( MQTTSuccess, mqttStatus ); in setupAgentContext()
370 MQTTStatus_t mqttStatus; in invalidParamsTestFunc() local
376 mqttStatus = ( FuncToTest ) ( &agentContext, NULL ); in invalidParamsTestFunc()
377 TEST_ASSERT_EQUAL_MESSAGE( MQTTBadParameter, mqttStatus, pFuncName ); in invalidParamsTestFunc()
379 mqttStatus = ( FuncToTest ) ( NULL, &commandInfo ); in invalidParamsTestFunc()
380 TEST_ASSERT_EQUAL_MESSAGE( MQTTBadParameter, mqttStatus, pFuncName ); in invalidParamsTestFunc()
384 mqttStatus = ( FuncToTest ) ( &agentContext, &commandInfo ); in invalidParamsTestFunc()
385 TEST_ASSERT_EQUAL_MESSAGE( MQTTBadParameter, mqttStatus, pFuncName ); in invalidParamsTestFunc()
[all …]
|
| D | mqtt_agent_command_functions_utest.c | 170 MQTTStatus_t mqttStatus; in test_MQTTAgentCommand_ProcessLoop() local
172 mqttStatus = MQTTAgentCommand_ProcessLoop( &mqttAgentContext, NULL, &returnFlags ); in test_MQTTAgentCommand_ProcessLoop()
174 TEST_ASSERT_EQUAL( MQTTSuccess, mqttStatus ); in test_MQTTAgentCommand_ProcessLoop()
190 MQTTStatus_t mqttStatus; in test_MQTTAgentCommand_Publish_QoS0_success() local
197 mqttStatus = MQTTAgentCommand_Publish( &mqttAgentContext, &publishInfo, &returnFlags ); in test_MQTTAgentCommand_Publish_QoS0_success()
199 TEST_ASSERT_EQUAL( MQTTSuccess, mqttStatus ); in test_MQTTAgentCommand_Publish_QoS0_success()
215 MQTTStatus_t mqttStatus; in test_MQTTAgentCommand_Publish_QoS1_success() local
223 mqttStatus = MQTTAgentCommand_Publish( &mqttAgentContext, &publishInfo, &returnFlags ); in test_MQTTAgentCommand_Publish_QoS1_success()
225 TEST_ASSERT_EQUAL( MQTTSuccess, mqttStatus ); in test_MQTTAgentCommand_Publish_QoS1_success()
241 MQTTStatus_t mqttStatus; in test_MQTTAgentCommand_Publish_QoS0_failure() local
[all …]
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ResumeSession/ |
| D | MQTTAgent_ResumeSession_harness.c | 32 MQTTStatus_t mqttStatus; in harness() local
41 mqttStatus = MQTTAgent_ResumeSession( pMqttAgentContext, in harness()
44 __CPROVER_assert( ( mqttStatus >= MQTTSuccess && mqttStatus <= MQTTKeepAliveTimeout ), in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/ |
| D | MQTTAgent_ProcessLoop_harness.c | 32 MQTTStatus_t mqttStatus; in harness() local
42 mqttStatus = MQTTAgent_ProcessLoop( pMqttAgentContext, in harness()
45 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Ping/ |
| D | MQTTAgent_Ping_harness.c | 32 MQTTStatus_t mqttStatus; in harness() local
42 mqttStatus = MQTTAgent_Ping( pMqttAgentContext, in harness()
44 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Terminate/ |
| D | MQTTAgent_Terminate_harness.c | 33 MQTTStatus_t mqttStatus; in harness() local
43 mqttStatus = MQTTAgent_Terminate( pMqttAgentContext, in harness()
46 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Publish/ |
| D | MQTTAgent_Publish_harness.c | 33 MQTTStatus_t mqttStatus; in harness() local
45 mqttStatus = MQTTAgent_Publish( pMqttAgentContext, in harness()
49 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/ |
| D | MQTTAgent_Unsubscribe_harness.c | 33 MQTTStatus_t mqttStatus; in harness() local
45 mqttStatus = MQTTAgent_Unsubscribe( pMqttAgentContext, in harness()
49 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Connect/ |
| D | MQTTAgent_Connect_harness.c | 34 MQTTStatus_t mqttStatus; in harness() local
42 mqttStatus = MQTTAgent_Connect( pMqttAgentContext, in harness()
46 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Subscribe/ |
| D | MQTTAgent_Subscribe_harness.c | 33 MQTTStatus_t mqttStatus; in harness() local
45 mqttStatus = MQTTAgent_Subscribe( pMqttAgentContext, in harness()
49 …__CPROVER_assert( isAgentSendCommandFunctionStatus( mqttStatus ), "The return value is a MQTTStatu… in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/sources/ |
| D | mqtt_agent_cbmc_state.c | 145 bool isAgentSendCommandFunctionStatus( MQTTStatus_t mqttStatus ) in isAgentSendCommandFunctionStatus() argument
147 return( ( mqttStatus == MQTTSuccess ) || in isAgentSendCommandFunctionStatus()
148 ( mqttStatus == MQTTBadParameter ) || in isAgentSendCommandFunctionStatus()
149 ( mqttStatus == MQTTNoMemory ) || in isAgentSendCommandFunctionStatus()
150 ( mqttStatus == MQTTSendFailed ) ); in isAgentSendCommandFunctionStatus()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/include/ |
| D | mqtt_agent_cbmc_state.h | 93 bool isAgentSendCommandFunctionStatus( MQTTStatus_t mqttStatus );
|
