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

Fixed invalid characters in formula.

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-30 14:49:00 -05:00
parent e644877f7f
commit 1b0869dac0
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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