Home
last modified time | relevance | path

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

/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ResumeSession/
DMakefile25 MAX_PACKET_ID=5 macro
28 DEFINES += -DMAX_PACKET_ID=$(MAX_PACKET_ID)
/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c179 #ifdef MAX_PACKET_ID in addPendingAcks()
183 __CPROVER_assume( packetId < MAX_PACKET_ID ); in addPendingAcks()
/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dcore_mqtt_stubs.c192 #ifdef MAX_PACKET_ID in MQTT_PublishToResend()
196 __CPROVER_assume( packetId < MAX_PACKET_ID ); in MQTT_PublishToResend()