diff options
Diffstat (limited to 'spec/score/sem/req/seize-wait.yml')
| -rw-r--r-- | spec/score/sem/req/seize-wait.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/spec/score/sem/req/seize-wait.yml b/spec/score/sem/req/seize-wait.yml index 8df71d93..93531ed4 100644 --- a/spec/score/sem/req/seize-wait.yml +++ b/spec/score/sem/req/seize-wait.yml @@ -4,6 +4,10 @@ copyrights: enabled-by: true functional-type: action links: +- role: function-implementation + uid: /score/tq/req/enqueue-fifo +- role: function-implementation + uid: /score/tq/req/enqueue-priority - role: requirement-refinement uid: ../if/group post-conditions: |