Trigger CI

tony-josi-aws · tony-josi-aws · commit bfffbd479850 · 2025-01-23T20:04:30.000+05:30
diff --git a/test/cbmc/proofs/DNS/DNSTreatNBNS/Makefile.json b/test/cbmc/proofs/DNS/DNSTreatNBNS/Makefile.json
@@ -9,7 +9,7 @@
     "--unwindset prvFindEntryIndex.0:2",
     "--unwindset strcmp.0:{NBNS_NAME_MAX_LENGTH}",
     "--unwindset strlen.0:{NBNS_NAME_MAX_LENGTH}",
-    "--unwindset strncpy.0:{NBNS_NAME_MAX_LENGTH}"
+    "--unwindset strcpy.0:{NBNS_NAME_MAX_LENGTH}"
   ],
   "OBJS":
   [
@@ -26,3 +26,4 @@
     "ipconfigUSE_NBNS=1"
   ]
 }
+

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@`
`9`	`9`	`"--unwindset prvFindEntryIndex.0:2",`
`10`	`10`	`"--unwindset strcmp.0:{NBNS_NAME_MAX_LENGTH}",`
`11`	`11`	`"--unwindset strlen.0:{NBNS_NAME_MAX_LENGTH}",`
`12`		`- "--unwindset strncpy.0:{NBNS_NAME_MAX_LENGTH}"`
	`12`	`+ "--unwindset strcpy.0:{NBNS_NAME_MAX_LENGTH}"`
`13`	`13`	`],`
`14`	`14`	`"OBJS":`
`15`	`15`	`[`
`@@ -26,3 +26,4 @@`
`26`	`26`	`"ipconfigUSE_NBNS=1"`
`27`	`27`	`]`
`28`	`28`	`}`
	`29`	`+`