FreeRTOS/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/test/cbmc/proofs/ARP/ARPGetCacheEntryByMac

ARPGetCacheEntryByMac is memory safe, if it is enabled.

ARPGetCacheEntryByMac does not use multiple configurations internally.