Merge branch 'main' into posix_demo

aggarg · Aug 23, 2024 · f9c2be9 · f9c2be9
2 parents 8924ee1 + c304913
commit f9c2be9
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