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

-- Subprogram: execSampleWater

-- Test Case: execSampleWater.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.001
TEST.END

-- Test Case: execSampleWater.002
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.002
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.END

-- Test Case: execSampleWater.003
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.003
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_COMPLETE_STATE
TEST.END

-- Test Case: execSampleWater.004
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:execSampleWater
TEST.NEW
TEST.NAME:execSampleWater.004
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:NUM_OF_SAMPLE_WATER_STATES
TEST.END

-- Subprogram: getSampleWaterResult

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:getSampleWaterResult
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 ((1) == sampleWaterResult) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterResult:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:getSampleWaterResult
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 ((1) == sampleWaterResult) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterResult:<<MIN>>
TEST.END

-- Subprogram: getSampleWaterState

-- Test Case: getSampleWaterState.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:getSampleWaterState
TEST.NEW
TEST.NAME:getSampleWaterState.001
TEST.END

-- Subprogram: handleWaterSampleSetupState

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_FLUSH_FILTER_IDLE) == dgSubMode) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:3
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_FLUSH_FILTER_IDLE) == dgSubMode) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_STAN) == dgOpMode && (DG_STANDBY_MODE_STATE_FLUSH_FILTER_IDLE) == dgSubMode) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:3
TEST.END

-- Subprogram: handleWaterSampleState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
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 ((1) == sampleWaterResultEntered) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
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 ((1) == sampleWaterResultEntered) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:COND_2_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 ((1) == sampleWaterResultEntered) ==> FALSE
      (2) if ((1) == sampleWaterStartRequested) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:1
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:COND_2_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 ((1) == sampleWaterResultEntered) ==> FALSE
      (2) if ((1) == sampleWaterStartRequested) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:<<MIN>>
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:COND_3_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 ((1) == sampleWaterResultEntered) ==> FALSE
      (2) if ((1) == sampleWaterStartRequested) ==> FALSE
      (3) if ((1) == sampleWaterStopRequested) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:<<MIN>>
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:1
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:handleWaterSampleState
TEST.NEW
TEST.NAME:COND_3_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 ((1) == sampleWaterResultEntered) ==> FALSE
      (2) if ((1) == sampleWaterStartRequested) ==> FALSE
      (3) if ((1) == sampleWaterStopRequested) ==> 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:SampleWater.<<GLOBAL>>.sampleWaterStartRequested:<<MIN>>
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterStopRequested:<<MIN>>
TEST.VALUE:SampleWater.<<GLOBAL>>.sampleWaterResultEntered:<<MIN>>
TEST.END

-- Subprogram: hasDGRestarted

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> TRUE
      (2) if (dgRestartedPersistentCount++ >= (5 * 1000) / 50) ==> 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:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:hasDGRestarted
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_STAN) == getDGOpMode() && (DG_STANDBY_MODE_STATE_IDLE) == getDGSubMode()) ==> TRUE
      (2) if (dgRestartedPersistentCount++ >= (5 * 1000) / 50) ==> 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:SampleWater.<<GLOBAL>>.dgRestartedPersistentCount:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_STAN
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.END

-- Subprogram: initSampleWater

-- Test Case: initSampleWater.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:initSampleWater
TEST.NEW
TEST.NAME:initSampleWater.001
TEST.END

-- Subprogram: setSampleWaterResult

-- Test Case: setSampleWaterResult.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:setSampleWaterResult
TEST.NEW
TEST.NAME:setSampleWaterResult.001
TEST.END

-- Subprogram: signalSampleWaterUserAction

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
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 ((0) == isAnyAlarmActive()) ==> 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:SampleWater.signalSampleWaterUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
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 ((0) == isAnyAlarmActive()) ==> 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:SampleWater.signalSampleWaterUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
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 ((0) == isAnyAlarmActive()) ==> TRUE
      (2) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_STOP
      (3) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> 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:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_STOP
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
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 ((0) == isAnyAlarmActive()) ==> TRUE
      (2) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_STOP
      (3) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> 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:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_STOP
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:COND_5_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 ((0) == isAnyAlarmActive()) ==> TRUE
      (4) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_START
      (5) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_START
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:COND_5_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 ((0) == isAnyAlarmActive()) ==> TRUE
      (4) case action ==> REQUESTED_USER_ACTION_SAMPLE_WATER_START
      (5) if ((SAMPLE_WATER_STATE) == currentSampleWaterState) ==> 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:SampleWater.<<GLOBAL>>.currentSampleWaterState:SAMPLE_WATER_SETUP_STATE
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_START
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

-- Test Case: signalSampleWaterUserAction.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:signalSampleWaterUserAction
TEST.NEW
TEST.NAME:signalSampleWaterUserAction.001
TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:NUM_OF_REQUESTED_SAMPLE_WATER_USER_ACTIONS
TEST.END

-- Subprogram: transitionToSampleWater

-- Test Case: transitionToSampleWater.001
TEST.UNIT:SampleWater
TEST.SUBPROGRAM:transitionToSampleWater
TEST.NEW
TEST.NAME:transitionToSampleWater.001
TEST.END