spec:/score/interr/val/terminate

Tests system termination procedure. More...

Files
file	tc-terminate.c
file	tc-userext.h
	This header file provides functions used by corresponding test suite.

Data Structures
struct	FatalInfo

Functions
void	__real__CPU_Fatal_halt (uint32_t source, CPU_Uint32ptr code)
void	__wrap__CPU_Fatal_halt (uint32_t source, CPU_Uint32ptr code)
void	FatalExtension0 (rtems_fatal_source source, bool always_set_to_false, rtems_fatal_code code)
void	FatalExtension1 (rtems_fatal_source source, bool always_set_to_false, rtems_fatal_code code)
	T_TEST_CASE (ScoreInterrValTerminate)

Detailed Description

Tests system termination procedure.

This test case performs the following actions:

• Create five dynamic extensions. Call the system termination procedure. Delete three dynamic extension during the fatal extension invocation. Delete the two remaining dynamic extensions.
  • Where the system was built with SMP support enabled, check that a shutdown request was issued.
  • Delete the dynamic extension sets.
  • Check that the fatal extensions were invoked with the expected source.
  • Check that the fatal extensions were invoked with the expected always set to false argument.
  • Check that the fatal extensions were invoked with the expected code.
  • Check that the fatal extensions were invoked in forward order.
  • Check that the fatal extension in the deleted extension set was not invoked.
  • Check that the system state is terminated.
  • Check that the system was halted with the expected fatal source.
  • Check that the system was halted with the expected fatal code.
  • Check that the system was finally halted.