Fix CBMC

tony-josi-aws · Feb 28, 2024 · 10683c0 · 10683c0
1 parent e289c19
commit 10683c0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ProcessICMPMessage_IPv6_harness.c b/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ProcessICMPMessage_IPv6_harness.c
@@ -94,7 +94,9 @@ BaseType_t NetworkInterfaceOutputFunction_Stub( struct xNetworkInterface * pxDes
 }
 
 /* Abstraction of this functions creates and return an endpoint, real endpoint doesn't matter in this test. */
-NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv6( const IPv6_Address_t * pxIPAddress )
+NetworkEndPoint_t * FreeRTOS_InterfaceEndPointOnNetMask_IPv6( const NetworkInterface_t * pxInterface,
+                                                            const IPv6_Address_t * pxIPAddress,
+                                                            uint32_t ulWhere )
 {
     NetworkEndPoint_t * pxEndPoints = NULL;
 

diff --git a/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ReturnICMP_IPv6_harness.c b/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ReturnICMP_IPv6_harness.c
@@ -97,7 +97,9 @@ BaseType_t NetworkInterfaceOutputFunction_Stub( struct xNetworkInterface * pxDes
 }
 
 /* Abstraction of this functions creates and return an endpoint, real endpoint doesn't matter in this test. */
-NetworkEndPoint_t * FreeRTOS_FindEndPointOnIP_IPv6( const IPv6_Address_t * pxIPAddress )
+NetworkEndPoint_t * FreeRTOS_InterfaceEndPointOnNetMask_IPv6( const NetworkInterface_t * pxInterface,
+                                                            const IPv6_Address_t * pxIPAddress,
+                                                            uint32_t ulWhere )
 {
     NetworkEndPoint_t * pxEndPoints = NULL;