Uncrustify: triggered by comment.

FreeRTOS · Jun 9, 2023 · 17f5fcc · 17f5fcc
1 parent e945a87
commit 17f5fcc
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/...bmc/proofs/DHCPv6/Process_PassReplyToEndPoint/DHCPv6Process_PassReplyToEndPoint_harness.c b/...bmc/proofs/DHCPv6/Process_PassReplyToEndPoint/DHCPv6Process_PassReplyToEndPoint_harness.c
@@ -59,7 +59,6 @@ BaseType_t __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndP
 
 void harness()
 {
-
  BaseType_t xResult;
 
  pxNetworkEndPoints = safeMalloc( sizeof( NetworkEndPoint_t ) );

diff --git a/test/cbmc/proofs/DHCPv6/SendDHCPMessage/SendDHCPMessage_harness.c b/test/cbmc/proofs/DHCPv6/SendDHCPMessage/SendDHCPMessage_harness.c
@@ -57,6 +57,7 @@ void __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvSendDHCPMessage( NetworkEndPoint_
 void harness()
 {
  NetworkEndPoint_t * pxNetworkEndPoint_Temp = ( sizeof( NetworkEndPoint_t ) );
+
  __CPROVER_assume( pxNetworkEndPoint_Temp != NULL );
 
  /* The application provides the random number and time hook in a memory safe manner. */