Home
last modified time | relevance | path

Searched refs:isValid (Results 1 – 3 of 3) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
HDmqtt_agent_cbmc_state.c62 bool isValid = false; in isValidMqttFixedBuffer() local
66 isValid = pFixedBuffer->size < CBMC_MAX_OBJECT_SIZE; in isValidMqttFixedBuffer()
69 return isValid; in isValidMqttFixedBuffer()
135 bool isValid = false; in isValidMqttAgentContext() local
139 isValid = isValidMqttFixedBuffer( &( pContext->mqttContext.networkBuffer ) ); in isValidMqttAgentContext()
142 return isValid; in isValidMqttAgentContext()
/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
HDcore_mqtt_stubs.c35 bool isValid = false; in isValidIncomingMqttPacket() local
48 isValid = true; in isValidIncomingMqttPacket()
55 return isValid; in isValidIncomingMqttPacket()
/CoreMQTT-Agent-v1.1.0/source/
HDcore_mqtt_agent.c424 bool isValid, isSpace = true; in createCommand() local
447 isValid = isSpace; in createCommand()
470 isValid = ( uxHeaderBytes < pMqttAgentContext->mqttContext.networkBuffer.size ) && in createCommand()
481 isValid = true; in createCommand()
485 if( isValid ) in createCommand()
493 statusReturn = ( isValid ) ? MQTTSuccess : MQTTBadParameter; in createCommand()