xref: /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_ClearARP/README.md

This proof demonstrates the memory safety of the ClearARP function in the FreeRTOS_ARP.c file.
No restrictions are made.