From 3c09383fab25139ff6a1420a8a54048b7095910f Mon Sep 17 00:00:00 2001 From: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> Date: Mon, 6 Mar 2023 15:15:38 +0530 Subject: Fix CBMC proof failures (#946) * Fix CBMC proof failures These were introduced in PR #620. Signed-off-by: Gaurav Aggarwal * Update manifest Signed-off-by: Gaurav Aggarwal --------- Signed-off-by: Gaurav Aggarwal --- manifest.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'manifest.yml') diff --git a/manifest.yml b/manifest.yml index 1047f4a49..7229e2be7 100644 --- a/manifest.yml +++ b/manifest.yml @@ -4,7 +4,7 @@ description: "This is the standard distribution of FreeRTOS." dependencies: - name: "FreeRTOS-Kernel" - version: "bb6071e1d" + version: "ddd50d9a8" repository: type: "git" url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git" -- cgit v1.2.1