diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-09-22 13:24:21 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-09-22 13:24:21 +0200 |
commit | 1167cbc0cbce5972409ef4e334f39c56f2337ef0 (patch) | |
tree | 6ce7535f49fd958746303b385470c66a7aea3b95 /spec/rtems/clock/req/get-ticks-since-boot.yml | |
parent | spec: Add deadlock detection special case (diff) | |
download | rtems-central-1167cbc0cbce5972409ef4e334f39c56f2337ef0.tar.bz2 |
spec: Specify and test clock manager directives
Diffstat (limited to 'spec/rtems/clock/req/get-ticks-since-boot.yml')
-rw-r--r-- | spec/rtems/clock/req/get-ticks-since-boot.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/spec/rtems/clock/req/get-ticks-since-boot.yml b/spec/rtems/clock/req/get-ticks-since-boot.yml index f0b530e3..d164d1d1 100644 --- a/spec/rtems/clock/req/get-ticks-since-boot.yml +++ b/spec/rtems/clock/req/get-ticks-since-boot.yml @@ -10,8 +10,7 @@ rationale: null references: [] requirement-type: functional text: | - The ${../if/get-ticks-since-boot:/name} function shall - return the number of ${/glossary/clock-tick:/plural} since a - point in time during the system initialization or the last overflow + The directive shall return the number of ${/glossary/clock-tick:/plural} + since a point in time during the system initialization or the last overflow of the ${/glossary/clock-tick:/term} counter. type: requirement |