diff options
Diffstat (limited to 'spec/rtems/barrier/req/wait.yml')
-rw-r--r-- | spec/rtems/barrier/req/wait.yml | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/spec/rtems/barrier/req/wait.yml b/spec/rtems/barrier/req/wait.yml index 0278994c..128ca71c 100644 --- a/spec/rtems/barrier/req/wait.yml +++ b/spec/rtems/barrier/req/wait.yml @@ -41,13 +41,14 @@ post-conditions: test-epilogue: null test-prologue: null pre-conditions: -- name: Barrier +- name: Id states: - name: NoObj test-code: | ctx->id = 0xffffffff; text: | - The ${../if/release:/params[0]/name} parameter shall be invalid. + The ${../if/release:/params[0]/name} parameter shall not be associated + with a barrier. - name: Manual test-code: | ctx->id = ctx->manual_release_id; @@ -359,7 +360,7 @@ transition-map: post-conditions: Status: InvId pre-conditions: - Barrier: + Id: - NoObj Timeout: N/A Satisfy: N/A @@ -367,7 +368,7 @@ transition-map: post-conditions: Status: Ok pre-conditions: - Barrier: + Id: - Manual - Auto Timeout: all @@ -377,7 +378,7 @@ transition-map: post-conditions: Status: Ok pre-conditions: - Barrier: + Id: - Auto Timeout: all Satisfy: @@ -386,7 +387,7 @@ transition-map: post-conditions: Status: NoReturn pre-conditions: - Barrier: + Id: - Manual - Auto Timeout: @@ -396,7 +397,7 @@ transition-map: - enabled-by: true post-conditions: NoWaitRelease pre-conditions: - Barrier: + Id: - Manual Timeout: all Satisfy: @@ -405,7 +406,7 @@ transition-map: post-conditions: Status: Timeout pre-conditions: - Barrier: + Id: - Manual - Auto Timeout: @@ -416,7 +417,7 @@ transition-map: post-conditions: Status: ObjDel pre-conditions: - Barrier: + Id: - Manual - Auto Timeout: all |