diff options
Diffstat (limited to 'spec/rtems/part/req/perf-get-no-buffer.yml')
| -rw-r--r-- | spec/rtems/part/req/perf-get-no-buffer.yml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/spec/rtems/part/req/perf-get-no-buffer.yml b/spec/rtems/part/req/perf-get-no-buffer.yml index 3ee276a6..24d6f4d9 100644 --- a/spec/rtems/part/req/perf-get-no-buffer.yml +++ b/spec/rtems/part/req/perf-get-no-buffer.yml @@ -47,8 +47,9 @@ test-teardown: return tic == toc; description: null text: | - When a partition has no free buffers, the ${.:/limit-kind} runtime of exactly - ${../val/perf:/params/sample-count} unsatisfied calls to - ${../if/get-buffer:/name} in the ${.:/environment} shall be - ${.:/limit-condition}. + While the execution environment is ${.:/environment}, while a partition has + no free buffers, while the measurement sample is the runtime of exactly one + unsatisified call to ${../if/get-buffer:/name}, when exactly + ${../val/perf:/params/sample-count} samples are collected, the + ${.:/limit-kind} shall be ${.:/limit-condition}. type: requirement |