Path	Lines of Code
test/cbmc/include/cellular_cbmc_state.h	6
test/cbmc/include/cellular_config.h	6
test/cbmc/include/cellular_platform.h	107
test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c	19
test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c	34
test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c	31
test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c	32
test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c	28
test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c	25
test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c	25
test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c	26
test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c	26
test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c	25
test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c	25
test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c	26
test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c	38
test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c	31
test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c	35
test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c	74
test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c	52
test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c	74
test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c	50
test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c	54
test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c	51
test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c	58
test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c	50
test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c	58
test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c	58
test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c	50
test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c	50
test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c	47
test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c	52
test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c	52
test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c	52
test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c	52
test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c	52
test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c	48
test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c	48
test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c	50
test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c	52
test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c	50
test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c	78
test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c	78
test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c	78
test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c	88
test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c	52
test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c	52
test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c	52
test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c	13
test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c	13
test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c	13
test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c	66
test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c	15
test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c	56
test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c	59
test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c	51
test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c	52
test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c	59
test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c	65
test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c	68
test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c	69
test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c	68
test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c	62
test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c	74
test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c	72
test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c	13
test/cbmc/sources/cellular_cbmc_state.c	8
test/cbmc/sources/cellular_modules.c	26
test/cbmc/sources/cellular_platform.c	113
test/cbmc/sources/global_state_cellular.c	54
test/cbmc/stubs/bsearch.c	17
test/cbmc/stubs/memchr.c	18
test/cbmc/stubs/snprintf.c	10
test/cbmc/stubs/strchr.c	45
test/cbmc/stubs/strncpy.c	24
test/cbmc/stubs/strnlen.c	15
test/cbmc/stubs/strstr.c	15
test/cbmc/stubs/strtok.c	50
test/cbmc/stubs/strtol.c	20
test/unit-test/cellular_3gpp_api_utest.c	5471
test/unit-test/cellular_3gpp_urc_handler_utest.c	631
test/unit-test/cellular_at_core_utest.c	590
test/unit-test/cellular_common_api_utest.c	625
test/unit-test/cellular_common_utest.c	1034
test/unit-test/cellular_config.h	23
test/unit-test/cellular_pkthandler_utest.c	1026
test/unit-test/cellular_pktio_utest.c	1339
test/unit-test/cellular_platform.h	114
test/unit-test/cmock_build.cmake	49
test/unit-test/logging/logging_levels.h	11
test/unit-test/logging/logging_stack.h	63
tools/cmock/create_test.cmake	158