Fix CBMC

tony-josi-aws · Jun 17, 2024 · 4f923e0 · 4f923e0
1 parent d8a8fef
commit 4f923e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/cbmc/proofs/DNS/CreateDNSMessage/Makefile.json b/test/cbmc/proofs/DNS/CreateDNSMessage/Makefile.json
@@ -7,7 +7,7 @@
   [
     "--unwind 1",
     "--unwindset strlen.0:{HOSTNAME_UNWIND}",
-    "--unwindset strcpy.0:{HOSTNAME_UNWIND}",
+    "--unwindset strncpy.0:{HOSTNAME_UNWIND}",
     "--unwindset __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage.0:{HOSTNAME_UNWIND}",
     "--unwindset __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage.1:{HOSTNAME_UNWIND}",
     "--nondet-static"