diff options
Diffstat (limited to 'spec/rtems/part/req/return-buffer.yml')
| -rw-r--r-- | spec/rtems/part/req/return-buffer.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/spec/rtems/part/req/return-buffer.yml b/spec/rtems/part/req/return-buffer.yml index a4af48ba..2869b998 100644 --- a/spec/rtems/part/req/return-buffer.yml +++ b/spec/rtems/part/req/return-buffer.yml @@ -146,23 +146,23 @@ transition-map: post-conditions: Status: Ok pre-conditions: - Id: - - Id Buf: - Valid + Id: + - Id - enabled-by: true post-conditions: Status: InvId pre-conditions: + Buf: all Id: - Invalid - Buf: all - enabled-by: true post-conditions: Status: InvAddr pre-conditions: - Id: - - Id Buf: - Invalid + Id: + - Id type: requirement |