diff options
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 |