diff options
Diffstat (limited to 'rtemsspec/tests/spec-validation/action2.yml')
| -rw-r--r-- | rtemsspec/tests/spec-validation/action2.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/rtemsspec/tests/spec-validation/action2.yml b/rtemsspec/tests/spec-validation/action2.yml index 8c269a12..d379a27b 100644 --- a/rtemsspec/tests/spec-validation/action2.yml +++ b/rtemsspec/tests/spec-validation/action2.yml @@ -115,6 +115,8 @@ rationale: null references: [] requirement-type: functional skip-reasons: + Overwritten: | + Overwritten. SkipReason: | Skip it due to some reason. test-action: | @@ -242,6 +244,14 @@ transition-map: - B1 C: all - enabled-by: true + post-conditions: Overwritten + pre-conditions: + A: + - A1 + B: + - B2 + C: all +- enabled-by: true post-conditions: SkipReason pre-conditions: A: |