README.md\ARPAgeCache\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/ARPAgeCache/README.md

blob: 3352f809649f0fbcd1fe62cb53a9c9a17796122f (plain)

1 2	`Assuming that xNetworkInterfaceOutput is memory safe, this harness proves the memory safety of the vARPAgeCache function.`