spec:/score/val/fatal

Tests some fatal errors. More...

Files
file	testsuites/validation/tc-score-fatal.c

Data Structures
struct	ScoreValFatal_Context
	Test context for spec:/score/val/fatal test case. More...

Typedefs
typedef ScoreValFatal_Context	Context

Functions
	T_TEST_CASE_FIXTURE (ScoreValFatal, &ScoreValFatal_Fixture)

Detailed Description

Tests some fatal errors.

This test case performs the following actions:

• Construct a task with a task body which returns. Check that the right fatal error occurred.
• Construct a task which performs a direct thread dispatch with maskable interrupts disabled. Where robust thread dispatching is required, check that the right fatal error occurred, otherwise check that no fatal error occurred.
• Construct a task which performs an on demand thread dispatch with maskable interrupts disabled. Where robust thread dispatching is required, check that the right fatal error occurred, otherwise check that no fatal error occurred.
• Construct a task which performs a direct thread dispatch with a thread dispatch level not equal to one. Check that the right fatal error occurred.
• Create a mutex and construct a task which produces a deadlock which involves the allocator mutex.
• Check that rtems_fatal() terminates the system. Since SetFatalHandler() requires an initial extension this validates CONFIGURE_INITIAL_EXTENSIONS.