Home
last modified time | relevance | path

Searched refs:TERMINATE (Results 1 – 5 of 5) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dagent_message_stubs.c50 __CPROVER_assume( command->commandType == TERMINATE ); in allocateCommand()
100 if( ( command != NULL ) && ( command->commandType == TERMINATE ) ) in AgentMessageRecvStub()
/CoreMQTT-Agent-v1.1.0/source/include/
Dcore_mqtt_agent_command_functions.h77 [ TERMINATE ] = MQTTAgentCommand_Terminate \
Dcore_mqtt_agent.h91 TERMINATE, /**< @brief Exit the command loop and stop processing commands. */ enumerator
/CoreMQTT-Agent-v1.1.0/source/
Dcore_mqtt_agent.c1309 statusReturn = createAndAddCommand( TERMINATE, in MQTTAgent_Terminate()
/CoreMQTT-Agent-v1.1.0/test/unit-test/
Dmqtt_agent_utest.c1194 TEST_ASSERT_EQUAL( TERMINATE, command.commandType ); in test_MQTTAgent_Terminate_success()