diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-04 13:26:43 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-04 13:32:33 +0100 |
commit | 318fdb96435b33252b2b9ec5bc87e415d25e0f39 (patch) | |
tree | a77de5b6728e1c1f3919830a78e4f788c351bd34 /spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml | |
parent | modules: Update rtems (diff) | |
download | rtems-central-318fdb96435b33252b2b9ec5bc87e415d25e0f39.tar.bz2 |
spec: Fix formatting
Diffstat (limited to 'spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml')
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml b/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml index 8af87a8e..986f840c 100644 --- a/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml +++ b/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml @@ -178,10 +178,10 @@ test-teardown: return tic == toc; description: null text: | - Let ``U` and `V`` be two tasks with the same home scheduler. Let :math:`B` - be a time point measured by ``U`` right before a call to + Let U and V be two tasks with the same home scheduler. Let :math:`B` + be a time point measured by U right before a call to ${../if/obtain:/name} which blocks on the mutex with no timeout. Let - :math:`E` be a time point measured by ``V`` right after the first context + :math:`E` be a time point measured by V right after the first context switch after :math:`B`. While the execution environment is ${.:/environment}, while the semaphore is |