diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-15 10:58:09 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-15 12:35:18 +0200 |
| commit | 861f3adb0fd355e51f259fd987287d8a040da126 (patch) | |
| tree | 097039142fbf82f145a78bab9d178d11169ee071 | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-861f3adb0fd355e51f259fd987287d8a040da126.tar.bz2 | |
spec: Fix futex specification
| -rw-r--r-- | spec/score/futex/req/wait.yml | 2 | ||||
| -rw-r--r-- | spec/score/futex/req/wake.yml | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/spec/score/futex/req/wait.yml b/spec/score/futex/req/wait.yml index 190e134b..0f06eeed 100644 --- a/spec/score/futex/req/wait.yml +++ b/spec/score/futex/req/wait.yml @@ -5,7 +5,7 @@ enabled-by: true functional-type: action links: - role: interface-function - uid: ../if/wake + uid: ../if/wait post-conditions: - name: Result states: diff --git a/spec/score/futex/req/wake.yml b/spec/score/futex/req/wake.yml index 87604775..aac9ad3e 100644 --- a/spec/score/futex/req/wake.yml +++ b/spec/score/futex/req/wake.yml @@ -6,6 +6,8 @@ functional-type: action links: - role: interface-function uid: ../if/wake +- role: validation + uid: ../../tq/req/flush-filter-stop post-conditions: - name: Result states: |