mirror of
https://github.com/FreeRTOS/FreeRTOS-Plus-TCP
synced 2025-10-25 04:56:15 +08:00
* Remove xCheckLoopback function because we now have a loopback endpoint. * Remove xCheckLoopback CBMC proof * Remove xCheckLoopback UTs --------- Co-authored-by: tony-josi-aws <tonyjosi@amazon.com>