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