From bf92642313f521cab339ce3679ba8f92c5b0260e Mon Sep 17 00:00:00 2001
From: Ching-Hsin Lee <chinglee@amazon.com>
Date: Thu, 12 Oct 2023 11:57:42 +0800
Subject: [PATCH] Update CBMC

---
 FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json b/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json
index 612b9069c84..d8f5d19d4f4 100644
--- 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"
+      "--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"
   ],
   "OBJS":
   [