diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-11 11:21:14 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-11 21:54:16 +0100 |
| commit | ee426f9ed481a0b5be338e824aba0b6d758ff494 (patch) | |
| tree | d176542d8833ab6e0c563a574b52875064fc31b1 /spec/rtems/event/req/send-receive.yml | |
| parent | spec: Use common wording (diff) | |
| download | rtems-central-ee426f9ed481a0b5be338e824aba0b6d758ff494.tar.bz2 | |
spec: Improve or fix wording
Diffstat (limited to 'spec/rtems/event/req/send-receive.yml')
| -rw-r--r-- | spec/rtems/event/req/send-receive.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml index f303ef8f..35123963 100644 --- a/spec/rtems/event/req/send-receive.yml +++ b/spec/rtems/event/req/send-receive.yml @@ -26,7 +26,7 @@ post-conditions: T_eq_int( ctx->receive_condition_state, RECEIVE_COND_UNKNOWN ); T_eq_u32( GetPendingEvents( ctx ), 0 ); text: | - The receiver task shall have no pending events. + The receiver task shall not have pending events. - name: Pending test-code: | T_eq_int( ctx->receive_condition_state, RECEIVE_COND_UNKNOWN ); |