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

-- Subprogram: checkDGRestart

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_GENE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> 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:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> 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:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_GENE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_TTTT
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TTTT
TEST.MCDC_BASIS_PATH:7 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> TRUE
      Row number 1 forms a pair with Row 9 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_SERV
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_d_TTTF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_d_TTTF-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "d".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgCurrentOpMode 'equal to' and 'not equal to' same value in branch 3
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_SERV
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_c_TTFT-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_c_TTFT-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #3, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgCurrentOpMode 'equal to' and 'not equal to' same value in branch 3
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_SERV
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: COND_3_ROW_5_PAIR_b_TFTT-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_3_ROW_5_PAIR_b_TFTT-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #3, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgCurrentOpMode 'equal to' and 'not equal to' same value in branch 3
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_SERV
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: COND_3_ROW_9_PAIR_a_FTTT
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:COND_3_ROW_9_PAIR_a_FTTT
TEST.MCDC_BASIS_PATH:6 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> FALSE
      Row number 9 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: checkDGRestart.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FILL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: checkDGRestart.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.002
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_DRAI
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Subprogram: checkDialysateTemperature

-- Test Case: COND_1_ROW_2_PAIR_a_TF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (dgDialysateTemp - dgTrimmerTempSet > (4.0) || dgDialysateTemp > (42.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) (dgDialysateTemp - dgTrimmerTempSet > (4.0) || dgDialysateTemp > (42.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (dgDialysateTemp - dgTrimmerTempSet > (4.0) || dgDialysateTemp > (42.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_b_FF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_b_FF-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) (dgDialysateTemp - dgTrimmerTempSet > (4.0) || dgDialysateTemp > (42.0)) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_TF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (2) (dgTrimmerTempSet - dgDialysateTemp > (4.0) || dgDialysateTemp < (33.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (2) (dgTrimmerTempSet - dgDialysateTemp > (4.0) || dgDialysateTemp < (33.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #2, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (2) (dgTrimmerTempSet - dgDialysateTemp > (4.0) || dgDialysateTemp < (33.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_b_FF-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_b_FF-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (2) (dgTrimmerTempSet - dgDialysateTemp > (4.0) || dgDialysateTemp < (33.0)) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #2, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 408 TEST.STUB:DGInterface.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit DGInterface.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 408 
    >>>     >>> Could not stub DGInterface.fabs
    >>> (E) @LINE: 409 TEST.VALUE:DGInterface.fabs.return:<<MIN>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:9 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (3) (fabs(dgDialysateTemp - dgTrimmerTempSet) < (2.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 426 TEST.STUB:DGInterface.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit DGInterface.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 426 
    >>>     >>> Could not stub DGInterface.fabs
    >>> (E) @LINE: 427 TEST.VALUE:DGInterface.fabs.return:<<MAX>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:10 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (3) (fabs(dgDialysateTemp - dgTrimmerTempSet) < (2.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:12 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:11 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:14 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateLowTemp)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/5
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateLowTemp)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:16 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateLowTemp)) ==> FALSE
      (6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:1
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:15 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateLowTemp)) ==> FALSE
      (6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateLowTemp)) ==> FALSE
      (6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (7) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateTempRecovered)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmConditionCleared.return 'equal to' and 'not equal to' same value in branches 6/7
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:1
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:17 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (5) if ((1) == isPersistentAlarmTriggered(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateLowTemp)) ==> FALSE
      (6) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_DIALYSATE_TEMPERATURE_HIGH, dialysateHighTemp)) ==> FALSE
      (7) if ((1) == isPersistentAlarmConditionCleared(ALARM_ID_DIALYSATE_TEMPERATURE_LOW, dialysateTempRecovered)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmConditionCleared.return:<<MIN>>
TEST.END

-- Test Case: checkDialysateTemperature.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:43.0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerTempSet:42.0
TEST.END

-- Subprogram: cmdChangeDGValveSetting

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdChangeDGValveSetting
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (valveSettingID < (NUM_OF_DG_VALVE_SETTTINGS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdChangeDGValveSetting.valveSettingID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdChangeDGValveSetting
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (valveSettingID < (NUM_OF_DG_VALVE_SETTTINGS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdChangeDGValveSetting.valveSettingID:<<MAX>>
TEST.END

-- Subprogram: cmdDGSampleWater

-- Test Case: cmdDGSampleWater_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdDGSampleWater
TEST.NEW
TEST.NAME:cmdDGSampleWater_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 25 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:0
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 27 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.sendDGSampleWaterCommand.return:1
TEST.END

-- Subprogram: cmdSetDGActiveReservoir

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGActiveReservoir
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.resID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGActiveReservoir
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.resID:<<MAX>>
TEST.END

-- Test Case: cmdSetDGActiveReservoir_InvalidRes
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGActiveReservoir
TEST.NEW
TEST.NAME:cmdSetDGActiveReservoir_InvalidRes
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.resID:NUM_OF_DG_RESERVOIRS
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.END

-- Test Case: cmdSetDGActiveReservoir_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGActiveReservoir
TEST.NEW
TEST.NAME:cmdSetDGActiveReservoir_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_2
TEST.VALUE:uut_prototype_stubs.sendDGSwitchReservoirCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:uut_prototype_stubs.sendDGSwitchReservoirCommand.activeReservoir:1
TEST.END

-- Subprogram: cmdSetDGDialysateTargetTemps

-- Test Case: cmdSetDGDialysateTargetTemps_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGDialysateTargetTemps
TEST.NEW
TEST.NAME:cmdSetDGDialysateTargetTemps_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgPrimaryTempSet:0.0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerTempSet:0.0
TEST.VALUE:DGInterface.cmdSetDGDialysateTargetTemps.primaryHtrTemp:39.0
TEST.VALUE:DGInterface.cmdSetDGDialysateTargetTemps.trimmerHtrTemp:37.0
TEST.VALUE:uut_prototype_stubs.sendDialysateTempTargetsToDG.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgPrimaryTempSet:39.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerTempSet:37.0
TEST.EXPECTED:uut_prototype_stubs.sendDialysateTempTargetsToDG.primary:39.0
TEST.EXPECTED:uut_prototype_stubs.sendDialysateTempTargetsToDG.trimmer:37.0
TEST.END

-- Subprogram: cmdStartDG

-- Test Case: cmdStartDG_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDG
TEST.NEW
TEST.NAME:cmdStartDG_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.VALUE:uut_prototype_stubs.sendDGStartStopCommand.return:1
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopCommand.start:1
TEST.END

-- Subprogram: cmdStartDGChemicalDisinfect

-- Test Case: cmdStartDGChemicalDisinfect.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGChemicalDisinfect
TEST.NEW
TEST.NAME:cmdStartDGChemicalDisinfect.001
TEST.END

-- Subprogram: cmdStartDGDrain

-- Test Case: cmdStartDGDrain_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGDrain
TEST.NEW
TEST.NAME:cmdStartDGDrain_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 96 TEST.EXPECTED:uut_prototype_stubs.sendDGDrainCommand.drainToVolumeMl:100
    >>>     >>> Unknown parameter/object name drainToVolumeMl
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.VALUE:DGInterface.cmdStartDGDrain.drainToVolMl:100
TEST.VALUE:uut_prototype_stubs.sendDGDrainCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:100
TEST.END

-- Subprogram: cmdStartDGFill

-- Test Case: cmdStartDGFill_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGFill
TEST.NEW
TEST.NAME:cmdStartDGFill_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.VALUE:DGInterface.cmdStartDGFill.fillToVolMl:1700
TEST.VALUE:uut_prototype_stubs.sendDGFillCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.EXPECTED:uut_prototype_stubs.sendDGFillCommand.fillToVolumeMl:1700
TEST.END

-- Subprogram: cmdStartDGFlush

-- Test Case: cmdStartDGFlush.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGFlush
TEST.NEW
TEST.NAME:cmdStartDGFlush.001
TEST.END

-- Subprogram: cmdStartDGHeatDisinfect

-- Test Case: cmdStartDGHeatDisinfect.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGHeatDisinfect
TEST.NEW
TEST.NAME:cmdStartDGHeatDisinfect.001
TEST.END

-- Subprogram: cmdStartDGTrimmerHeater

-- Test Case: cmdStartDGTrimmerHeater_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGTrimmerHeater
TEST.NEW
TEST.NAME:cmdStartDGTrimmerHeater_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.VALUE:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.start:1
TEST.END

-- Subprogram: cmdStopDG

-- Test Case: cmdStopDG_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDG
TEST.NEW
TEST.NAME:cmdStopDG_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:uut_prototype_stubs.sendDGStartStopCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopCommand.start:0
TEST.END

-- Subprogram: cmdStopDGChemicalDisinfect

-- Test Case: cmdStopDGChemicalDisinfect.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGChemicalDisinfect
TEST.NEW
TEST.NAME:cmdStopDGChemicalDisinfect.001
TEST.END

-- Subprogram: cmdStopDGFill

-- Test Case: cmdStopDGFill.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGFill
TEST.NEW
TEST.NAME:cmdStopDGFill.001
TEST.END

-- Subprogram: cmdStopDGFlush

-- Test Case: cmdStopDGFlush.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGFlush
TEST.NEW
TEST.NAME:cmdStopDGFlush.001
TEST.END

-- Subprogram: cmdStopDGHeatDisinfect

-- Test Case: cmdStopDGHeatDisinfect.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGHeatDisinfect
TEST.NEW
TEST.NAME:cmdStopDGHeatDisinfect.001
TEST.END

-- Subprogram: cmdStopDGTrimmerHeater

-- Test Case: cmdStopDGTrimmerHeater_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGTrimmerHeater
TEST.NEW
TEST.NAME:cmdStopDGTrimmerHeater_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.start:0
TEST.END

-- Subprogram: dialysisResumed

-- Test Case: dialysisResumed.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:dialysisResumed
TEST.NEW
TEST.NAME:dialysisResumed.001
TEST.END

-- Subprogram: execDGInterfaceMonitor

-- Test Case: execDGInterfaceMonitor.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execDGInterfaceMonitor
TEST.NEW
TEST.NAME:execDGInterfaceMonitor.001
TEST.END

-- Subprogram: execTreatmentReservoirMgmt

-- Test Case: COND_10_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:12 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (9) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
      (10) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_10_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:11 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (9) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
      (10) if ((DG_MODE_GENE) == dgOpMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_12_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_12_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:14 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #12, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_12_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_12_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #12, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE
TEST.END

-- Test Case: COND_13_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_13_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:18 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (13) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #13, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_13_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_13_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:17 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (13) if ((DG_MODE_GENE) == dgOpMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #13, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_14_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_14_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:20 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (13) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      (14) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #14, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_14_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_14_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:19 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (13) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      (14) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #14, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:<<MIN>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: COND_15_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_15_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:22 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 22
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (13) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      (14) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE
      (15) if (getTreatmentParameterU32(TREATMENT_PARAM_DIALYSATE_FLOW) <= (250)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #15, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<<MIN>>
TEST.END

-- Test Case: COND_15_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_15_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:21 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 21
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (13) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      (14) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE
      (15) if (getTreatmentParameterU32(TREATMENT_PARAM_DIALYSATE_FLOW) <= (250)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<<MAX>>
TEST.END

-- Test Case: COND_16_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_16_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:16 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      (16) if ((DG_MODE_FILL) == dgOpMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #16, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE
TEST.END

-- Test Case: COND_16_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_16_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:15 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (11) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
      (12) if (getTreatmentState() == (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      (16) if ((DG_MODE_FILL) == dgOpMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #16, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE
TEST.END

-- Test Case: COND_18_ROW_1_PAIR_a_TT
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_18_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:24 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 24
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (17) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
      (18) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #18, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getDGSubMode
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_18_ROW_2_PAIR_b_TF
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_18_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:25 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 25
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (17) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
      (18) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #18, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getDGSubMode
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:<<MIN>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_18_ROW_3_PAIR_a_FT
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_18_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:23 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 23
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (17) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
      (18) if ((DG_MODE_GENE) == dgOpMode && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #18, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getDGSubMode
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IDLE
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_20_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_20_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:27 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 27
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (19) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
      (20) if ((1) == didTimeout(resMgmtTimer, 5000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #20, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_20_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_20_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:26 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 26
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (19) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
      (20) if ((1) == didTimeout(resMgmtTimer, 5000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #20, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_22_ROW_2_PAIR_a_TF
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_22_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:29 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 29
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (21) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
      (22) if (resUseVolumeMl >= (F32)dgReservoirFillVolumeTargetSet || getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #22, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:<<MAX>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_22_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_22_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:30 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 30
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (21) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
      (22) if (resUseVolumeMl >= (F32)dgReservoirFillVolumeTargetSet || getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #22, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.getReservoirWeight.return 'less than' and 'greater than' same value in branches 2/22
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:<<MAX>>
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:<<MIN>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_22_ROW_4_PAIR_a_FF
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_22_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:28 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 28
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (21) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
      (22) if (resUseVolumeMl >= (F32)dgReservoirFillVolumeTargetSet || getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #22, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:<<MAX>>
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:<<MIN>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_24_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_24_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:32 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 32
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (23) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
      (24) if ((1) == didTimeout(resMgmtTimer, 5000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #24, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_24_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_24_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:31 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 31
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (23) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
      (24) if ((1) == didTimeout(resMgmtTimer, 5000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #24, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:34 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 34
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> TRUE
      (3) if (currentTrtResMgmtState < (TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:<<MIN>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:33 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 33
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> TRUE
      (3) if (currentTrtResMgmtState < (TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:<<MAX>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (5) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
      (6) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (5) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
      (6) if ((DG_MODE_GENE) == dgOpMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:10 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (5) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
      (6) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      (7) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:9 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (5) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
      (6) if ((DG_MODE_GENE) == dgOpMode) ==> TRUE
      (7) if ((DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == dgSubMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:<<MIN>>
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (5) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
      (6) if ((DG_MODE_GENE) == dgOpMode) ==> FALSE
      (8) if ((DG_MODE_DRAI) == dgOpMode) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_DRAI
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 34
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((SALINE_BOLUS_STATE_IN_PROGRESS) != getSalineBolusState()) ==> FALSE
      (2) if (getReservoirWeight(getDGActiveReservoir()) > (1950.0)) ==> FALSE
      (5) case currentTrtResMgmtState ==> TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
      (6) if ((DG_MODE_GENE) == dgOpMode) ==> FALSE
      (8) if ((DG_MODE_DRAI) == dgOpMode) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:DGInterface.getReservoirWeight
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:DGInterface.getReservoirWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.END

-- Test Case: execTreatmentReservoirMgmt.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.001
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.002
TEST.STUB:DGInterface.getDGOpMode
TEST.STUB:DGInterface.getDGSubMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.END

-- Test Case: execTreatmentReservoirMgmt.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.003
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.004
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.005
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.005
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.006
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.006
TEST.STUB:DGInterface.getDGOpMode
TEST.STUB:DGInterface.getDGSubMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.007
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.007
TEST.STUB:DGInterface.getDGOpMode
TEST.STUB:DGInterface.getDGSubMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:300
TEST.END

-- Test Case: execTreatmentReservoirMgmt.008
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.008
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.009
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.009
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.END

-- Test Case: execTreatmentReservoirMgmt.010
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt.010
TEST.STUB:DGInterface.getDGOpMode
TEST.STUB:DGInterface.getDGSubMode
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:DGInterface.getDGSubMode.return:2
TEST.END

-- Test Case: execTreatmentReservoirMgmt_DrainState_DrainCompleted
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_DrainState_DrainCompleted
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 159 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 163 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_DrainState_Draining
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_DrainState_Draining
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 184 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_DRAI
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_FillState_FillCompleted
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_FillState_FillCompleted
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 201 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 205 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1001000
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_FillState_Filling
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_FillState_Filling
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 230 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FILL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getSalineBolusState.return:SALINE_BOLUS_STATE_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_FillState_Flushing
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_FillState_Flushing
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 249 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 253 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_FlushDGLinesState_DrainStarted
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_FlushDGLinesState_DrainStarted
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 275 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_DRAI
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_DRAIN_RESERVOIR_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_FlushDGLinesState_Flushing
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_FlushDGLinesState_Flushing
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 292 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 296 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1001000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_FlushDGLinesState_StartDrain
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_FlushDGLinesState_StartDrain
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 314 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 318 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 329 TEST.EXPECTED:uut_prototype_stubs.sendDGDrainCommand.drainToVolumeMl:200
    >>>     >>> Unknown parameter/object name drainToVolumeMl
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.sendDGDrainCommand.return:1
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1001000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_InvalidState
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_InvalidState
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 338 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 342 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:NUM_OF_TREATMENT_RESERVOIR_MGMT_STATES
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_START_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_StartState
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_StartState
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 358 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 362 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_START_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FLUSH_DG_LINES_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForFillToSettleState_Settled
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForFillToSettleState_Settled
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 378 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 382 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1001000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:5000
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForFillToSettleState_Wait
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForFillToSettleState_Wait
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 404 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 408 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_FILL_SETTLE_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1001000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:5000
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchSettle_NotSettled
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchSettle_NotSettled
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 430 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 434 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1100000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1100050
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseTimer:1100050
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.416667
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1001000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:5000
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1100000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchSettle_Settled
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchSettle_Settled
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 460 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 464 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1100000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1100050
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_START_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseTimer:1100050
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.416667
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1001000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:5000
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1100000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchState_Flushing
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchState_Flushing
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 490 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 494 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchState_NotRecirc
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchState_NotRecirc
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 518 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchState_NotSpent
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchState_NotSpent
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 538 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 542 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:203950
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:1699.58
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchState_Spent_Res1
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchState_Spent_Res1
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 562 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 566 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1100000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:1699.75
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1100050
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resMgmtTimer:1100050
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseTimer:1100050
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.0
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1100000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitForResSwitchState_Spent_Res2
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitForResSwitchState_Spent_Res2
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 590 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 594 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_RES_SWITCH_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1001000
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1100000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:1699.75
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1100050
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_FOR_SWITCH_SETTLE_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resMgmtTimer:1100050
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseTimer:1100050
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.0
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1100000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitToFillState_FillStarted
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitToFillState_FillStarted
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 622 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FILL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitToFillState_Flushing
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitToFillState_Flushing
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 641 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 645 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitToFillState_StartFill
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitToFillState_StartFill
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 663 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 667 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:2
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.VALUE:uut_prototype_stubs.sendDGFillCommand.return:1
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Test Case: execTreatmentReservoirMgmt_WaitToFillState_TreatmentPaused
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:execTreatmentReservoirMgmt_WaitToFillState_TreatmentPaused
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 689 TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_CIRC
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DG_MODE_CIRC"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 693 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:1
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:200
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.0
TEST.VALUE:uut_prototype_stubs.getTargetDialInFlowRate.return:500
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:50
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_WAIT_TO_FILL_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:100.417
TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000000
TEST.END

-- Subprogram: getDGActiveReservoir

-- Test Case: getDGActiveReservoir_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGActiveReservoir
TEST.NEW
TEST.NAME:getDGActiveReservoir_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.getDGActiveReservoir.return:DG_RESERVOIR_2
TEST.END

-- Subprogram: getDGCommandResponse

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGCommandResponse
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (commandID == (dgCmdResp[commandID]).commandID) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.cmdRespPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGCommandResponse
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (commandID == (dgCmdResp[commandID]).commandID) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:1
TEST.VALUE:DGInterface.getDGCommandResponse.commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.cmdRespPtr:<<malloc 1>>
TEST.END

-- Subprogram: getDGDialysateFlowRateLMin

-- Test Case: getDGDialysateFlowRateLMin.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGDialysateFlowRateLMin
TEST.NEW
TEST.NAME:getDGDialysateFlowRateLMin.001
TEST.END

-- Subprogram: getDGDisinfectsStates

-- Test Case: getDGDisinfectsStates.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGDisinfectsStates
TEST.NEW
TEST.NAME:getDGDisinfectsStates.001
TEST.END

-- Subprogram: getDGInactiveReservoir

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGInactiveReservoir
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) ((DG_RESERVOIR_2) == dgActiveReservoirSet) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGInactiveReservoir
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) ((DG_RESERVOIR_2) == dgActiveReservoirSet) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.END

-- Subprogram: getDGOpMode

-- Test Case: getDGOpMode_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGOpMode
TEST.NEW
TEST.NAME:getDGOpMode_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_STAN
TEST.EXPECTED:DGInterface.getDGOpMode.return:DG_MODE_STAN
TEST.END

-- Subprogram: getDGSubMode

-- Test Case: getDGSubMode_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGSubMode
TEST.NEW
TEST.NAME:getDGSubMode_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.EXPECTED:DGInterface.getDGSubMode.return:1
TEST.END

-- Subprogram: getDialysateFlowDataFreshFlag

-- Test Case: getDialysateFlowDataFreshFlag.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDialysateFlowDataFreshFlag
TEST.NEW
TEST.NAME:getDialysateFlowDataFreshFlag.001
TEST.END

-- Subprogram: getDialysateTemperature

-- Test Case: getDialysateTemperature.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDialysateTemperature
TEST.NEW
TEST.NAME:getDialysateTemperature.001
TEST.END

-- Subprogram: getLoadCellWeight

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if (0xccc33c33U == (loadCellWeightInGrams[loadCellID]).override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_RESERVOIR_1_PRIMARY].override:3435346995
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if (0xccc33c33U == (loadCellWeightInGrams[loadCellID]).override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_RESERVOIR_1_PRIMARY].override:<<MIN>>
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.END

-- Subprogram: getReservoirWeight

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeight
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) ((DG_RESERVOIR_1) == resID) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeight
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) ((DG_RESERVOIR_1) == resID) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_2
TEST.END

-- Subprogram: getReservoirWeightLargeFilter

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeightLargeFilter
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeightLargeFilter.resID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeightLargeFilter
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeightLargeFilter.resID:<<MAX>>
TEST.END

-- Subprogram: handleDGCommandResponse

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> TRUE
      (2) if ((DG_CMD_NONE) != dgCmdRespPtr->commandID) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> TRUE
      (2) if ((DG_CMD_NONE) != dgCmdRespPtr->commandID) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:0
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:<<MIN>>
TEST.END

-- Test Case: handleDGCommandResponse.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.001
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:1
TEST.END

-- Test Case: handleDGCommandResponse.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.002
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:2
TEST.END

-- Test Case: handleDGCommandResponse.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.003
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:1
TEST.END

-- Test Case: handleDGCommandResponse.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.004
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:5
TEST.END

-- Subprogram: hasDGCompletedReservoirSwitch

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:hasDGCompletedReservoirSwitch
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (dgActiveReservoir == dgActiveReservoirSet) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:hasDGCompletedReservoirSwitch
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (dgActiveReservoir == dgActiveReservoirSet) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.END

-- Subprogram: initDGInterface

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      (2) for (i < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      (2) for (i < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      (2) for (i < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) for (j < (32)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      (2) for (i < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) for (j < (32)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      (2) for (i < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      (4) for (i < (NUM_OF_DG_COMMANDS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) for (i < (NUM_OF_LOAD_CELLS)) ==> FALSE
      (2) for (i < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      (4) for (i < (NUM_OF_DG_COMMANDS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: initDGInterface_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:initDGInterface_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 808 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgWaterSampled:0
    >>>     >>> Unknown parameter/object name dgWaterSampled
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgPrimaryTempSet:0.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerTempSet:0.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.END

-- Subprogram: initTreatmentReservoirMgmt

-- Test Case: initTreatmentReservoirMgmt_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initTreatmentReservoirMgmt
TEST.NEW
TEST.NAME:initTreatmentReservoirMgmt_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_FILL_RESERVOIR_STATE
TEST.VALUE:DGInterface.<<GLOBAL>>.resMgmtTimer:1
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseTimer:1
TEST.VALUE:DGInterface.<<GLOBAL>>.resUseVolumeMl:1.0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000000
TEST.EXPECTED:DGInterface.<<GLOBAL>>.currentTrtResMgmtState:TREATMENT_RESERVOIR_MGMT_START_STATE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resMgmtTimer:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseTimer:1000000
TEST.EXPECTED:DGInterface.<<GLOBAL>>.resUseVolumeMl:0.0
TEST.END

-- Subprogram: setDGDialysateTemperatures

-- Test Case: setDGDialysateTemperatures_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGDialysateTemperatures
TEST.NEW
TEST.NAME:setDGDialysateTemperatures_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgPrimaryTemp:0.0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerTemp:0.0
TEST.VALUE:DGInterface.setDGDialysateTemperatures.primaryHtrTemp:39.0
TEST.VALUE:DGInterface.setDGDialysateTemperatures.trimmerHtrTemp:37.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgPrimaryTemp:39.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerTemp:37.0
TEST.END

-- Subprogram: setDGDisinfectsStates

-- Test Case: setDGDisinfectsStates.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGDisinfectsStates
TEST.NEW
TEST.NAME:setDGDisinfectsStates.001
TEST.END

-- Subprogram: setDGOpMode

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (opMode < (NUM_OF_DG_MODES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGOpMode.opMode:<<MIN>>
TEST.VALUE:DGInterface.setDGOpMode.subMode:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (opMode < (NUM_OF_DG_MODES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGOpMode.opMode:<<MAX>>
TEST.VALUE:DGInterface.setDGOpMode.subMode:<<MIN>>
TEST.END

-- Test Case: setDGOpMode_InvalidMode
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:setDGOpMode_InvalidMode
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_INIT
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:0
TEST.VALUE:DGInterface.setDGOpMode.opMode:20
TEST.VALUE:DGInterface.setDGOpMode.subMode:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_INIT
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgSubMode:0
TEST.END

-- Test Case: setDGOpMode_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:setDGOpMode_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_INIT
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:0
TEST.VALUE:DGInterface.setDGOpMode.opMode:3
TEST.VALUE:DGInterface.setDGOpMode.subMode:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_STAN
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.END

-- Subprogram: setDGReservoirsData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGReservoirsData.resID:<<MIN>>
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:<<MIN>>
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGReservoirsData.resID:<<MAX>>
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:<<MIN>>
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:<<MIN>>
TEST.END

-- Test Case: setDGReservoirsData_InvalidRes
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:setDGReservoirsData_InvalidRes
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTarget:0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTarget:0
TEST.VALUE:DGInterface.setDGReservoirsData.resID:NUM_OF_DG_RESERVOIRS
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:1700
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:100
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTarget:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTarget:0
TEST.END

-- Test Case: setDGReservoirsData_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:setDGReservoirsData_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTarget:0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTarget:0
TEST.VALUE:DGInterface.setDGReservoirsData.resID:DG_RESERVOIR_2
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:1700
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:100
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTarget:1700
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTarget:100
TEST.END

-- Subprogram: setDialysateFlowData

-- Test Case: setDialysateFlowData.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDialysateFlowData
TEST.NEW
TEST.NAME:setDialysateFlowData.001
TEST.END

-- Subprogram: setDialysateTemperatureReadings

-- Test Case: setDialysateTemperatureReadings_NominalPath
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDialysateTemperatureReadings
TEST.NEW
TEST.NAME:setDialysateTemperatureReadings_NominalPath
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:37.0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgRedundantDialysateTemp:37.0
TEST.VALUE:DGInterface.setDialysateTemperatureReadings.temp1:37.3
TEST.VALUE:DGInterface.setDialysateTemperatureReadings.temp2:37.5
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:37.3
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgRedundantDialysateTemp:37.5
TEST.END

-- Subprogram: setNewLoadCellReadings

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) (res == (DG_RESERVOIR_1)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set res due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) (res == (DG_RESERVOIR_1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set res due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      (4) (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set res due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.END

-- Test Case: setNewLoadCellReadings.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.001
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:40
TEST.END

-- Subprogram: testResetDialOutLoadCellWeightOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetDialOutLoadCellWeightOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MAX>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END