Fix CBMC proof failure

aggarg · aggarg · commit 93d77717d485 · 2024-12-23T07:41:59.000Z
Signed-off-by: Gaurav Aggarwal &lt;aggarg@amazon.com&gt;
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json b/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json
@@ -38,7 +38,7 @@
   "CBMCFLAGS":
   [
       "--unwind 1",
-      "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"
+      "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,strlen.0:16,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"
   ],
   "OBJS":
   [

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@`
`38`	`38`	`"CBMCFLAGS":`
`39`	`39`	`[`
`40`	`40`	`"--unwind 1",`
`41`		`- "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"`
	`41`	`+ "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,strlen.0:16,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"`
`42`	`42`	`],`
`43`	`43`	`"OBJS":`
`44`	`44`	`[`