Fix adding NULL checks

FreeRTOS · Mar 22, 2021 · 96df001 · 96df001
1 parent b541382
commit 96df001
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/cbmc/proofs/TCP/prvTCPReturnPacket/TCPReturnPacket_harness.c b/test/cbmc/proofs/TCP/prvTCPReturnPacket/TCPReturnPacket_harness.c
@@ -65,8 +65,8 @@ BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * pxDescriptor,
 {
     BaseType_t xReturn;
 
-    __CPROVER_assert( pxDescriptor, "The descriptor cannot be NULL" );
-    __CPROVER_assert( pxDescriptor->pucEthernetBuffer, "The ethernet buffer cannot be NULL" );
+    __CPROVER_assert( pxDescriptor != NULL , "The descriptor cannot be NULL" );
+    __CPROVER_assert( pxDescriptor->pucEthernetBuffer != NULL, "The ethernet buffer cannot be NULL" );
 
     return xReturn;
 }