Searched refs:isValidIncomingMqttPacket (Results 1 – 1 of 1) sorted by relevance
33 static bool isValidIncomingMqttPacket( uint8_t packetType ) in isValidIncomingMqttPacket() function112 __CPROVER_assume( isValidIncomingMqttPacket( pPacketInfo->type ) ); in MQTT_ProcessLoop()
