summaryrefslogtreecommitdiffstats
path: root/spec/testsuites/model-0.yml
blob: 5a3cca0209a0699c10c099aab74bf1e15bcf2f3a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2020 embedded brains GmbH & Co. KG
enabled-by: RTEMS_SMP
links:
- role: requirement-refinement
  uid: validation
test-brief: |
  This general purpose test suite provides enough resources to run basic tests
  for all specified managers and functions.  It is intended for model based
  testing.
test-code: |
  const char rtems_test_name[] = "${.:/test-suite-name}";

  #define CONFIGURE_MAXIMUM_PROCESSORS 4

  #include "ts-default.h"
test-description: |
  In SMP configurations, up to three scheduler instances using the SMP EDF
  scheduler are provided using up to four processors.
test-includes: []
test-local-includes: []
test-target: testsuites/validation/ts-model-0.c
type: test-suite