diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-24 11:29:46 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-24 11:30:09 +0100 |
| commit | 932679bb343877c986c0fe28e5d79e1c5ce484be (patch) | |
| tree | cf9a7c3f4a3d01d623efe16604a21708ad410f6a | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-932679bb343877c986c0fe28e5d79e1c5ce484be.tar.bz2 | |
spec: Fix math formats
| -rw-r--r-- | spec/rtems/event/req/event-constant.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/event/req/event-number.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/signal/req/signal-constant.yml | 4 | ||||
| -rw-r--r-- | spec/rtems/signal/req/signal-delivery.yml | 4 | ||||
| -rw-r--r-- | spec/rtems/signal/req/signal-number.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/signal/req/signal-set.yml | 2 |
6 files changed, 8 insertions, 8 deletions
diff --git a/spec/rtems/event/req/event-constant.yml b/spec/rtems/event/req/event-constant.yml index f030e953..9b62fc82 100644 --- a/spec/rtems/event/req/event-constant.yml +++ b/spec/rtems/event/req/event-constant.yml @@ -72,7 +72,7 @@ rationale: null references: [] requirement-type: functional text: | - Let :math:`J\in{0, 1, ..., 31}`. The :math:`J`-th event number constant + Let :math:`J\in\{0, 1, ..., 31\}`. The :math:`J`-th event number constant shall be a constant expression which evaluates to the integer representation of event number :math:`J`. type: requirement diff --git a/spec/rtems/event/req/event-number.yml b/spec/rtems/event/req/event-number.yml index b9c5fb70..88967767 100644 --- a/spec/rtems/event/req/event-number.yml +++ b/spec/rtems/event/req/event-number.yml @@ -10,6 +10,6 @@ rationale: null references: [] requirement-type: functional text: | - Let :math:`J\in{0, 1, ..., 31}`. The event number :math:`J` shall be + Let :math:`J\in\{0, 1, ..., 31\}`. The event number :math:`J` shall be represented by the integer :math:`2^J`. type: requirement diff --git a/spec/rtems/signal/req/signal-constant.yml b/spec/rtems/signal/req/signal-constant.yml index bcfe93d5..d6cbc3c2 100644 --- a/spec/rtems/signal/req/signal-constant.yml +++ b/spec/rtems/signal/req/signal-constant.yml @@ -72,7 +72,7 @@ rationale: null references: [] requirement-type: functional text: | - Let :math:`J\in{0, 1, ..., 31}`. The :math:`J`-th signal constant shall be a - constant expression which evaluates to the integer representation of signal + Let :math:`J\in\{0, 1, ..., 31\}`. The :math:`J`-th signal constant shall be + a constant expression which evaluates to the integer representation of signal :math:`J`. type: requirement diff --git a/spec/rtems/signal/req/signal-delivery.yml b/spec/rtems/signal/req/signal-delivery.yml index 1fb18053..8b5c95f6 100644 --- a/spec/rtems/signal/req/signal-delivery.yml +++ b/spec/rtems/signal/req/signal-delivery.yml @@ -10,7 +10,7 @@ rationale: null references: [] requirement-type: functional text: | - Let :math:`J\in{0, 1, ..., 31}`. While a task is able to catch signals, when - signal :math:`J` is sent to the task, it shall be caught by the task as + Let :math:`J\in\{0, 1, ..., 31\}`. While a task is able to catch signals, + when signal :math:`J` is sent to the task, it shall be caught by the task as exactly signal :math:`J`. type: requirement diff --git a/spec/rtems/signal/req/signal-number.yml b/spec/rtems/signal/req/signal-number.yml index a8579b0a..2c0e76d4 100644 --- a/spec/rtems/signal/req/signal-number.yml +++ b/spec/rtems/signal/req/signal-number.yml @@ -10,6 +10,6 @@ rationale: null references: [] requirement-type: functional text: | - Let :math:`J\in{0, 1, ..., 31}`. The signal :math:`J` shall be represented + Let :math:`J\in\{0, 1, ..., 31\}`. The signal :math:`J` shall be represented by the integer :math:`2^J`. type: requirement diff --git a/spec/rtems/signal/req/signal-set.yml b/spec/rtems/signal/req/signal-set.yml index 5b18472e..29294740 100644 --- a/spec/rtems/signal/req/signal-set.yml +++ b/spec/rtems/signal/req/signal-set.yml @@ -10,6 +10,6 @@ rationale: null references: [] requirement-type: functional text: | - Let :math:`J\in{0, 1, ..., 31}`. The ${../if/set:/name} integer type shall + Let :math:`J\in\{0, 1, ..., 31\}`. The ${../if/set:/name} integer type shall be able to represent the integer representation of signal :math:`J`. type: requirement |