diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-05 15:46:51 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-07 09:00:49 +0200 |
| commit | fd7f16505969a106738238e4d50f82225e9b3510 (patch) | |
| tree | 2e70b3d4caf3c3aff300a07916045311fbaf94fb /spec/rtems/task/req/construct-errors.yml | |
| parent | spec: Canonicalize name and id checks (diff) | |
| download | rtems-central-fd7f16505969a106738238e4d50f82225e9b3510.tar.bz2 | |
spec: Fix format
Diffstat (limited to 'spec/rtems/task/req/construct-errors.yml')
| -rw-r--r-- | spec/rtems/task/req/construct-errors.yml | 98 |
1 files changed, 49 insertions, 49 deletions
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml index ae9ec6e9..4714d1e0 100644 --- a/spec/rtems/task/req/construct-errors.yml +++ b/spec/rtems/task/req/construct-errors.yml @@ -348,152 +348,152 @@ transition-map: post-conditions: Status: Ok pre-conditions: + Ext: + - Ok Id: - Id Name: - Valid + Preempt: all Prio: - Valid - Tasks: - - Avail - TLS: - - Enough Stack: - Enough - Ext: - - Ok - Preempt: all + TLS: + - Enough + Tasks: + - Avail - enabled-by: true post-conditions: Status: InvName pre-conditions: + Ext: all Id: all Name: - Inv + Preempt: all Prio: all - Tasks: all - TLS: all Stack: all - Ext: all - Preempt: all + TLS: all + Tasks: all - enabled-by: true post-conditions: Status: InvAddress pre-conditions: + Ext: all Id: - 'Null' Name: - Valid + Preempt: all Prio: all - Tasks: all - TLS: all Stack: all - Ext: all - Preempt: all + TLS: all + Tasks: all - enabled-by: true post-conditions: Status: InvPrio pre-conditions: + Ext: all Id: - Id Name: - Valid + Preempt: all Prio: - Zero - Inv - Tasks: all - TLS: all Stack: all - Ext: all - Preempt: all + TLS: all + Tasks: all - enabled-by: true post-conditions: Status: TooMany pre-conditions: + Ext: all Id: - Id Name: - Valid + Preempt: all Prio: - Valid + Stack: all + TLS: all Tasks: - None - TLS: all - Stack: all - Ext: all - Preempt: all - enabled-by: true post-conditions: Status: InvSize pre-conditions: + Ext: all Id: - Id Name: - Valid + Preempt: all Prio: - Valid - Tasks: - - Avail + Stack: all TLS: - Small - Stack: all - Ext: all - Preempt: all + Tasks: + - Avail - enabled-by: true post-conditions: Status: InvSize pre-conditions: + Ext: all Id: - Id Name: - Valid + Preempt: all Prio: - Valid - Tasks: - - Avail - TLS: - - Enough Stack: - Small - Ext: all - Preempt: all + TLS: + - Enough + Tasks: + - Avail - enabled-by: true post-conditions: Status: Unsatisfied pre-conditions: + Ext: + - Err Id: - Id Name: - Valid + Preempt: all Prio: - Valid - Tasks: - - Avail - TLS: - - Enough Stack: - Enough - Ext: - - Err - Preempt: all + TLS: + - Enough + Tasks: + - Avail - enabled-by: RTEMS_SMP post-conditions: Status: Unsatisfied pre-conditions: + Ext: + - Ok Id: - Id Name: - Valid + Preempt: + - 'No' Prio: - Valid - Tasks: - - Avail - TLS: - - Enough Stack: - Enough - Ext: - - Ok - Preempt: - - 'No' + TLS: + - Enough + Tasks: + - Avail type: requirement |