- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*. files (68):

LICENSE
test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Makefile
test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Makefile
test/cbmc/proofs/Cellular_ATRemovePrefix/Makefile
test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Makefile
test/cbmc/proofs/Cellular_CommonSetPdnConfig/Makefile
test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Makefile
test/cbmc/proofs/Cellular_ATStrStartWith/Makefile
test/cbmc/proofs/_Cellular_ModemEventCallback/Makefile
test/cbmc/proofs/Cellular_CommonGetServiceStatus/Makefile
test/cbmc/proofs/Cellular_CommonGetPsmSettings/Makefile
test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/Makefile
test/cbmc/proofs/Cellular_ATIsStrDigit/Makefile
test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/Makefile
test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Makefile
test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Makefile
test/cbmc/proofs/Cellular_CommonSetPsmSettings/Makefile
test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Makefile
test/cbmc/proofs/_Cellular_GetSocketData/Makefile
test/cbmc/proofs/_Cellular_RemoveSocketData/Makefile
test/cbmc/proofs/_Cellular_LibCleanup/Makefile
test/cbmc/proofs/Makefile-project-targets
test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Makefile
test/cbmc/proofs/_Cellular_GetModuleContext/Makefile
test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Makefile
test/cbmc/proofs/Makefile-project-defines
test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Makefile
test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Makefile
test/cbmc/proofs/Cellular_CommonCreateSocket/Makefile
test/cbmc/proofs/Makefile-template-defines
test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Makefile
test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/Makefile
test/cbmc/proofs/Cellular_CommonGetModemInfo/Makefile
test/cbmc/proofs/Cellular_ATStrtoi/Makefile
test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/Makefile
test/cbmc/proofs/Cellular_CommonGetNetworkTime/Makefile
test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Makefile
test/cbmc/proofs/_Cellular_IsValidSocket/Makefile
test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Makefile
test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Makefile
test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/Makefile
test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/Makefile
test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/Makefile
test/cbmc/proofs/_Cellular_PdnEventCallback/Makefile
test/cbmc/proofs/Cellular_CommonRfOff/Makefile
test/cbmc/proofs/Cellular_ATGetNextTok/Makefile
test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Makefile
test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/Makefile
test/cbmc/proofs/Cellular_ATcheckErrorCode/Makefile
test/cbmc/proofs/_Cellular_GetCurrentRat/Makefile
test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Makefile
test/cbmc/proofs/Cellular_CommonInit/Makefile
test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Makefile
test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Makefile
test/cbmc/proofs/Makefile-project-testing
test/cbmc/proofs/Cellular_ATIsPrefixPresent/Makefile
test/cbmc/proofs/_Cellular_ComputeSignalBars/Makefile
test/cbmc/proofs/Cellular_CommonCleanup/Makefile
test/cbmc/proofs/Cellular_ATHexStrToHex/Makefile
test/cbmc/proofs/Cellular_CommonATCommandRaw/Makefile
test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Makefile
test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Makefile
test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Makefile
test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Makefile
test/cbmc/proofs/Cellular_CommonRfOn/Makefile
test/cbmc/proofs/_Cellular_GenericCallback/Makefile
test/cbmc/proofs/Cellular_CommonGetIPAddress/Makefile
test/cbmc/proofs/Cellular_ATStrDup/Makefile
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.pu files (3):

docs/plantuml/cellular_module_porting_functions.pu
docs/plantuml/comm_interaction.pu
docs/plantuml/cellular_api_implementation.pu
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.dox files (2):

docs/doxygen/pages.dox
docs/doxygen/portingCellularModule.dox
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.DS_Store files (1):

test/cbmc/proofs/Cellular_ATRemovePrefix/.DS_Store
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.config files (1):

tools/coverity/misra.config
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.pn files (1):

docs/plantuml/cellular_URC_handler_implementation.pn
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.doxyfile files (1):

docs/doxygen/config.doxyfile
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -