Home
last modified time | relevance | path

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

/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c62 bool isValid = false; in isValidMqttFixedBuffer() local
135 bool isValid = false; in isValidMqttAgentContext() local
/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dcore_mqtt_stubs.c35 bool isValid = false; in isValidIncomingMqttPacket() local
/CoreMQTT-Agent-v1.1.0/source/
Dcore_mqtt_agent.c424 bool isValid, isSpace = true; in createCommand() local