Home
last modified time | relevance | path

Searched refs:terminate (Results 1 – 2 of 2) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
HDcore_mqtt_stubs.c93 static bool terminate = false; in MQTT_ProcessLoop() local
108 if( terminate == false ) in MQTT_ProcessLoop()
152 terminate = true; in MQTT_ProcessLoop()
179 static bool terminate = false; in MQTT_PublishToResend() local
186 if( terminate == true ) in MQTT_PublishToResend()
200 terminate = true; in MQTT_PublishToResend()
HDagent_message_stubs.c42 static bool terminate = false; in allocateCommand() local
47 if( terminate == true ) in allocateCommand()
75 terminate = true; in allocateCommand()