diff options
author | Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com> | 2023-03-06 15:15:38 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-06 15:15:38 +0530 |
commit | 3c09383fab25139ff6a1420a8a54048b7095910f (patch) | |
tree | 609b81742b2a4feb08eb8abf479ddbdac826c2d6 /manifest.yml | |
parent | 67911f83a6b4caa5ca3fa1c99ed4e8e136a1d616 (diff) | |
download | freertos-git-3c09383fab25139ff6a1420a8a54048b7095910f.tar.gz |
Fix CBMC proof failures (#946)
* Fix CBMC proof failures
These were introduced in PR #620.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update manifest
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Diffstat (limited to 'manifest.yml')
-rw-r--r-- | manifest.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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" |