len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-10 05:35:17 -05:00
Code Issues Projects Releases Packages Wiki Activity

Minor correction in README.

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-31 15:34:51 -05:00 • committed by GitHub
parent c6b76cade9
commit ea989ae236
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Test/VeriFast/tasks/vTaskSwitchContext/README.md
View file

@ -38,7 +38,7 @@ Proof Assumptions:
==>
Unbounded memory & thread safety guarantees:
Unbounded memory & thread safety guarantees for `vTaskSwitchContext`:
∀ #tasks. ∀ task interleavings. ∀ interrupt schedules. ∀ data sizes. ∀ cores C1, …, Cn.
vTaskSwitchContext(C1) || … || vTaskSwitchContext(Cn)
=> (no memory error ∧ no race condition)