README.md\ARPGetCacheEntryByMac\ARP\proofs\CBMC\Test\FreeRTOS-Plus - delta/freertos.git - svn.code.sf.net: Obsolete (use freertos-git)

summary refs log tree commit diff

path: root/FreeRTOS-Plus/Test/CBMC/proofs/ARP/ARPGetCacheEntryByMac/README.md

blob: 77c17e2e9d8649d2858a509f4b6fc2b7f16244ea (plain)

ARPGetCacheEntryByMac is memory safe,
if it is enabled.

ARPGetCacheEntryByMac does not use multiple configurations internally.