diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-05 14:41:19 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-08 21:58:56 +0200 |
commit | c856fc9a44efcd35886745e66e92c30bf4883814 (patch) | |
tree | ae12e3274690ee31b61f7b5bc399ea987f5e6817 | |
parent | spec: Fix formatting (diff) | |
download | rtems-central-c856fc9a44efcd35886745e66e92c30bf4883814.tar.bz2 |
spec: Fix typo
-rw-r--r-- | spec/rtems/barrier/req/perf-release-auto-other-cpu.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/rtems/barrier/req/perf-release-auto-other-cpu.yml b/spec/rtems/barrier/req/perf-release-auto-other-cpu.yml index 1ed16d9a..ff180283 100644 --- a/spec/rtems/barrier/req/perf-release-auto-other-cpu.yml +++ b/spec/rtems/barrier/req/perf-release-auto-other-cpu.yml @@ -65,7 +65,7 @@ test-teardown: text: | Let U and V be two tasks with distinct home schedulers. Let :math:`B` be a time point measured by U right before a call to ${../if/wait:/name} - which automaticall releases the barrier. Let :math:`E` be a time point + which automatically releases the barrier. Let :math:`E` be a time point measured by V right after a call to ${../if/wait:/name} returns successfully due to the ${../if/wait:/name} call associated with :math:`B`. While the execution environment is ${.:/environment}, while the barrier is an |