Fix the typo mistake and header file error, and also redefine the __s… #2

Annotations

9 errors

unable to create file test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c: Filename too long

Unable to checkout '5cfd781f94ed4d34a5d533abbff952fc23b86db5' in submodule path 'FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent/source/dependency/coreMQTT'

Failed to recurse into submodule path 'FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent'

unable to create file test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c: Filename too long

unable to create file test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c: Filename too long

unable to create file test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c: Filename too long

unable to create file test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c: Filename too long

Unable to checkout 'f1097fb3b1c69120a0a0541c6a858830b3f4e762' in submodule path 'FreeRTOS-Plus/Source/FreeRTOS-Cellular-Interface'

The process 'C:\Program Files\Git\bin\git.exe' failed with exit code 1

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix the typo mistake and header file error, and also redefine the __s… #2

WIN32 MingW

Fix the typo mistake and header file error, and also redefine the __s… #2

Jobs

Run details

Annotations

This job failed

Re-running jobs...