-- VectorCAST 19 revision c2818cf (09/24/19)
-- Test Case Script
-- 
-- Environment    : SAFETYSHUTDOWN
-- Unit(s) Under Test: SafetyShutdown
-- 
-- Script Features
TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING
TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION
TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT
TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES
TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS
TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED
--

-- Unit: SafetyShutdown

-- Subprogram: activateSafetyShutdown

-- Test Case: activateSafetyShutdown_NominalPath
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:activateSafetyShutdown
TEST.NEW
TEST.NAME:activateSafetyShutdown_NominalPath
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:3
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:1
TEST.END

-- Subprogram: initSafetyShutdown

-- Test Case: initSafetyShutdown_NominalPath
TEST.UNIT:SafetyShutdown
TEST.SUBPROGRAM:initSafetyShutdown
TEST.NEW
TEST.NAME:initSafetyShutdown_NominalPath
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:3
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:0
TEST.END