Remove TCP reference

moninom1 · Aug 23, 2024 · ea27971 · ea27971
1 parent 5e803f0
commit ea27971
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 55 deletions.
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,15 +33,15 @@
 #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"
+// /* 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