xref: /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPRefreshCacheEntry/README.md (revision dfe2e90ad7488c5ecfea69e095105e590f2ab006) 
1The proofs in this directory guarantee together that
2ARPRefreshCacheEntry is memory safe independent
3of the configuration value of
4ipconfigARP_STORES_REMOTE_ADDRESSES.
5