diff options
Diffstat (limited to 'spec/rtems/part/req/get-buffer.yml')
| -rw-r--r-- | spec/rtems/part/req/get-buffer.yml | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/spec/rtems/part/req/get-buffer.yml b/spec/rtems/part/req/get-buffer.yml index 3e04be32..dc38e890 100644 --- a/spec/rtems/part/req/get-buffer.yml +++ b/spec/rtems/part/req/get-buffer.yml @@ -172,37 +172,37 @@ transition-map: post-conditions: Status: Ok pre-conditions: - Id: - - Id - Buf: - - Valid Avail: - 'Yes' + Buf: + - Valid + Id: + - Id - enabled-by: true post-conditions: Status: InvAddr pre-conditions: - Id: all + Avail: all Buf: - 'Null' - Avail: all + Id: all - enabled-by: true post-conditions: Status: InvId pre-conditions: - Id: - - Invalid + Avail: all Buf: - Valid - Avail: all + Id: + - Invalid - enabled-by: true post-conditions: Status: Unsatisfied pre-conditions: - Id: - - Id - Buf: - - Valid Avail: - 'No' + Buf: + - Valid + Id: + - Id type: requirement |