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

blob: ec2cc5e210b0deedcd14672f3a43fd425f3d73bb (plain)

1	`This is the memory safety proof for IsDCHPSocket.`