summaryrefslogtreecommitdiffstats
path: root/spec/rtems/task/req
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-04 13:26:43 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-04 13:32:33 +0100
commit318fdb96435b33252b2b9ec5bc87e415d25e0f39 (patch)
treea77de5b6728e1c1f3919830a78e4f788c351bd34 /spec/rtems/task/req
parentmodules: Update rtems (diff)
downloadrtems-central-318fdb96435b33252b2b9ec5bc87e415d25e0f39.tar.bz2
spec: Fix formatting
Diffstat (limited to 'spec/rtems/task/req')
-rw-r--r--spec/rtems/task/req/perf-restart-preempt.yml8
-rw-r--r--spec/rtems/task/req/perf-restart-self.yml2
-rw-r--r--spec/rtems/task/req/perf-set-scheduler-preempt.yml10
-rw-r--r--spec/rtems/task/req/perf-start-preempt.yml8
4 files changed, 14 insertions, 14 deletions
diff --git a/spec/rtems/task/req/perf-restart-preempt.yml b/spec/rtems/task/req/perf-restart-preempt.yml
index 9b2b14c6..13a59cd2 100644
--- a/spec/rtems/task/req/perf-restart-preempt.yml
+++ b/spec/rtems/task/req/perf-restart-preempt.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
- ${../if/restart:/name} which starts task ``V`` which preempts the caller.
- Let :math:`E` be a time point measured by ``V`` right after the first context
+ 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/restart:/name} which starts task V which preempts the caller.
+ Let :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 measurement
diff --git a/spec/rtems/task/req/perf-restart-self.yml b/spec/rtems/task/req/perf-restart-self.yml
index 00a03774..8b9c6b13 100644
--- a/spec/rtems/task/req/perf-restart-self.yml
+++ b/spec/rtems/task/req/perf-restart-self.yml
@@ -176,7 +176,7 @@ test-teardown:
text: |
Let :math:`B` be a time point measured by a task right before a call to
${../if/restart:/name} which restarts the caller. Let :math:`E` be a time
- point measured by ``V`` right after the first context switch after :math:`B`.
+ point measured by V right after the first context switch after :math:`B`.
While the execution environment is ${.:/environment}, while the measurement
sample is :math:`E - B`, the ${.:/limit-kind} shall be ${.:/limit-condition}.
diff --git a/spec/rtems/task/req/perf-set-scheduler-preempt.yml b/spec/rtems/task/req/perf-set-scheduler-preempt.yml
index c1545a1b..0537965f 100644
--- a/spec/rtems/task/req/perf-set-scheduler-preempt.yml
+++ b/spec/rtems/task/req/perf-set-scheduler-preempt.yml
@@ -157,11 +157,11 @@ test-teardown:
return tic == toc;
description: null
text: |
- Let ``U` and `V`` be two tasks with the distinct home schedulers. Let
- :math:`B` be a time point measured by ``U`` right before a call to
- ${../if/set-scheduler:/name} which moves task ``V`` to the home scheduler of
- ``U`` which preempts the caller. Let :math:`E` be a time point measured by
- ``V`` right after the first context switch after :math:`B`.
+ Let U and V be two tasks with the distinct home schedulers. Let
+ :math:`B` be a time point measured by U right before a call to
+ ${../if/set-scheduler:/name} which moves task V to the home scheduler of
+ U which preempts the caller. Let :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 measurement
sample is :math:`E - B`, when exactly ${../val/perf:/params/sample-count}
diff --git a/spec/rtems/task/req/perf-start-preempt.yml b/spec/rtems/task/req/perf-start-preempt.yml
index e8c188b5..aad6027b 100644
--- a/spec/rtems/task/req/perf-start-preempt.yml
+++ b/spec/rtems/task/req/perf-start-preempt.yml
@@ -175,10 +175,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 ${../if/start:/name}
- which starts task ``V`` which preempts the caller. Let :math:`E` be a time
- point measured by ``V`` right after the first context switch after :math:`B`.
+ 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/start:/name}
+ which starts task V which preempts the caller. Let :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 measurement
sample is :math:`E - B`, when exactly ${../val/perf:/params/sample-count}