Remove redundant TCP includes in FreeRTOS CBMC proofs (FreeRTOS#1254)

* Remove unnecessary TCP includes * Update comment
aggarg · Aug 23, 2024 · c304913 · c304913
1 parent 9febced
commit c304913
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 87 deletions.
diff --git a/FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h b/FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h
diff --git a/FreeRTOS/Test/CBMC/include/aws_freertos_tcp_verification_access_tcp_define.h b/FreeRTOS/Test/CBMC/include/aws_freertos_tcp_verification_access_tcp_define.h
diff --git a/FreeRTOS/Test/CBMC/include/cbmc.h b/FreeRTOS/Test/CBMC/include/cbmc.h
@@ -33,16 +33,6 @@
 #include "task.h"
 #include "semphr.h"
 
-/* FreeRTOS+TCP includes. */
-#include "FreeRTOS_IP.h"
-#include "FreeRTOS_Sockets.h"
-#include "FreeRTOS_IP_Private.h"
-#include "FreeRTOS_UDP_IP.h"
-#include "FreeRTOS_DNS.h"
-#include "FreeRTOS_DHCP.h"
-#include "NetworkBufferManagement.h"
-#include "NetworkInterface.h"
-
 /*
  * CBMC models a pointer as an object id and an offset into that
  * object.  The top bits of a pointer encode the object id and the