-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : MESSAGESUPPORT
-- Unit(s) Under Test: MessageSupport
-- 
-- 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: MessageSupport

-- Subprogram: broadcastData

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:MessageSupport
TEST.SUBPROGRAM:broadcastData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (length > (0) && dataPtr != (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:MessageSupport.broadcastData.msgID:<<MIN>>
TEST.VALUE:MessageSupport.broadcastData.buffer:<<MIN>>
TEST.VALUE:MessageSupport.broadcastData.dataPtr:<<malloc 9>>
TEST.VALUE:MessageSupport.broadcastData.dataPtr:<<null>>
TEST.VALUE:MessageSupport.broadcastData.length:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:MessageSupport
TEST.SUBPROGRAM:broadcastData
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (length > (0) && dataPtr != (0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:MessageSupport.broadcastData.msgID:<<MIN>>
TEST.VALUE:MessageSupport.broadcastData.buffer:<<MIN>>
TEST.VALUE:MessageSupport.broadcastData.dataPtr:<<malloc 1>>
TEST.VALUE:MessageSupport.broadcastData.length:<<MIN>>
TEST.END

-- Test Case: broadcastData.001
TEST.UNIT:MessageSupport
TEST.SUBPROGRAM:broadcastData
TEST.NEW
TEST.NAME:broadcastData.001
TEST.VALUE:MessageSupport.broadcastData.dataPtr:<<malloc 3>>
TEST.VALUE:MessageSupport.broadcastData.dataPtr:"xx"
TEST.VALUE:MessageSupport.broadcastData.length:2
TEST.END