diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-08-04 07:33:52 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-08-04 09:08:09 +0200 |
| commit | e3aa3d82768cb1c99bf7d3969b1f45d3dc91976f (patch) | |
| tree | 8da975cef828803b3d39b23d2dfeca3b48d9797e | |
| parent | spec: Fix links (diff) | |
| download | rtems-central-e3aa3d82768cb1c99bf7d3969b1f45d3dc91976f.tar.bz2 | |
spec: Improve test cases
| -rw-r--r-- | spec/score/smp/val/fatal.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/spec/score/smp/val/fatal.yml b/spec/score/smp/val/fatal.yml index 8ea0720d..fd66eb4f 100644 --- a/spec/score/smp/val/fatal.yml +++ b/spec/score/smp/val/fatal.yml @@ -23,6 +23,25 @@ test-actions: links: - role: validation uid: ../req/fatal-shutdown-response + - brief: | + Check that the processor state is shutdown. + code: | + T_step_eq_int( + ${step}, + _Per_CPU_Get_state( _Per_CPU_Get() ), + PER_CPU_STATE_SHUTDOWN + ); + links: + - role: validation + uid: ../req/fatal-shutdown-response + - brief: | + Check that a second shutdown request does not end in a recursive shutdown + response. + code: | + _SMP_Process_message( _Per_CPU_Get(), SMP_MESSAGE_SHUTDOWN ); + links: + - role: validation + uid: ../req/fatal-shutdown-response links: [] - action-brief: | Issue a job on a processor in the shutdown state. Check that the right @@ -147,6 +166,7 @@ test-header: test-includes: - rtems/sysinit.h - rtems/score/atomic.h +- rtems/score/percpu.h - rtems/score/smpimpl.h - setjmp.h test-local-includes: |