diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-17 16:15:55 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 08:22:34 +0100 |
| commit | 025ab9e08258af9e83494602917a704e4d28e6d7 (patch) | |
| tree | 217ecbb0a2923bbe60ef74b448de23479ed2610a /spec/rtems/event/req/event-constant.yml | |
| parent | spec: Improve acfg specification (diff) | |
| download | rtems-central-025ab9e08258af9e83494602917a704e4d28e6d7.tar.bz2 | |
spec: Clarify event numbers
Diffstat (limited to 'spec/rtems/event/req/event-constant.yml')
| -rw-r--r-- | spec/rtems/event/req/event-constant.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/spec/rtems/event/req/event-constant.yml b/spec/rtems/event/req/event-constant.yml index 9f0ec8e9..f030e953 100644 --- a/spec/rtems/event/req/event-constant.yml +++ b/spec/rtems/event/req/event-constant.yml @@ -72,6 +72,7 @@ rationale: null references: [] requirement-type: functional text: | - The ``i``-the event constant shall be a constant expression which evaluates - to a value of two to the power of ``i``. + 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 |