Index: tst_TreatmentStatesData/test.py =================================================================== diff -u -rd8ec01a7bb4d530339ded2f8034995604db04612 -r316fd2f51b0fa89c0f69949d79ef246e1e4bc4ed --- tst_TreatmentStatesData/test.py (.../test.py) (revision d8ec01a7bb4d530339ded2f8034995604db04612) +++ tst_TreatmentStatesData/test.py (.../test.py) (revision 316fd2f51b0fa89c0f69949d79ef246e1e4bc4ed) @@ -1,153 +1,407 @@ # -*- coding: utf-8 -*- - -## -# Copyright (c) 2019-2020 Diality Inc. - All Rights Reserved. -# copyright -# THIS CODE MAY NOT BE COPIED OR REPRODUCED IN ANY FORM, -# IN PART OR IN WHOLE, -# WITHOUT THE EXPLICIT PERMISSION OF THE COPYRIGHT OWNER. +########################################################################### # -# file tst_TreatmentStatesData -# date 2020/07/26 -# author Behrouz NematiPour +# Copyright (c) 2020-2025 Diality Inc. - All Rights Reserved. # +# THIS CODE MAY NOT BE COPIED OR REPRODUCED IN ANY FORM, IN PART OR IN +# WHOLE, WITHOUT THE EXPLICIT PERMISSION OF THE COPYRIGHT OWNER. +# +# @file test.py +# +# @author (last) Vy +# @date (last) 01-Dec-2023 +# @author (original) Behrouz NemaiPour +# @date (original) 28-Jul-2020 +# +############################################################################ import names -from dialin.squish import utils, denaliMessages +from dialin.ui import utils +from dialin.utils import txStates -class txStates: - # Saline states - SALINE_STOP_STATE = 0 - SALINE_START_STATE = 1 - SALINE_DISABLE_STATE = 2 - - # UF states - # UI only cares about the actual state and _NOT could be any other state - UF_PAUSED_STATE_NOT = 0 - UF_PAUSED_STATE = 1 - - # Sub Mode - # UI only cares about the actual state and _NOT could be any other state - TREATMENT_DIALYSIS_STATE_NOT = 0 - TREATMENT_DIALYSIS_STATE = 1 - - + def gotoScreenNtest_Contains_TreatmentStatesData(): mouseClick(waitForObject(names.o_treatmentHome_startTreatment)) - test_values(0, 0, 0) + # default state of the in-treatment + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE, txStates.HEPARIN_STATE_OFF) -def test_values(vSubMode, vUFState, vSalineState): +def test_values(vSubMode, vUFState, vSalineState, vHeparinState): + denaliMessages.setTreatmentStatesData(vSubMode, vUFState, vSalineState, vHeparinState) # these test cases are not always depending on each other if (vSubMode == txStates.TREATMENT_DIALYSIS_STATE_NOT): - test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_arrowImage ).visible, True ) - test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_second ).visible, True ) - test.compare( findObject (names.o_treatmentStart_treatmentTime_notification ).visible, False) + test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_arrowImage ).visible, False ) + test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_second ).visible, False ) + test.compare( findObject (names.o_treatmentStart_treatmentTime_notification ).visible, True ) if (vSubMode == txStates.TREATMENT_DIALYSIS_STATE ): - test.compare( findObject (names.o_treatmentStart_treatmentTime_arrowImage ).visible, False) - test.compare( findObject (names.o_treatmentStart_treatmentTime_second ).visible, False) - test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_notification ).visible, True ) + test.compare( findObject (names.o_treatmentStart_treatmentTime_arrowImage ).visible, True ) + test.compare( findObject (names.o_treatmentStart_treatmentTime_second ).visible, True ) + test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_notification ).visible, False ) test.compare(str(waitForObjectExists(names.o_treatmentStart_treatmentTime_notification ).text ), "Treatment Paused") - if (vUFState == txStates.UF_PAUSED_STATE_NOT ): - test.compare( waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).visible , False) - test.compare(str(waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).text ) , "" ) + if (vUFState == txStates.UF_OFF_STATE ): + test.compare( waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).visible , True) + test.compare(str(waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).text ) , "Ultrafiltration is off" ) if (vUFState == txStates.UF_PAUSED_STATE ): test.compare( waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).visible , True) - test.compare(str(waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).text ) , "Ultrafiltration Paused" ) + test.compare(str(waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).text ) , "Ultrafiltration is paused" ) - if (vSalineState == txStates.SALINE_DISABLE_STATE ): + if (vUFState == txStates.UF_COMPLETED_STATE ): + test.compare( waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).visible , True) + test.compare(str(waitForObjectExists(names.o_treatmentStart_ultrafiltration_notification ).text ) , "Ultrafiltration is completed" ) + + if (vSalineState == txStates.SALINE_BOLUS_STATE_MAX_DELIVERED ): test.compare( waitForObjectExists(names.o_treatmentStart_SalineSection ).isTouchable, False) test.compare(str(waitForObjectExists(names.o_treatmentStart_SalineStart ).text.text), "START BOLUS") test.compare(str(waitForObjectExists(names.o_treatmentStart_SalineNotification ).text ), "Maximum cumulative saline bolus volume delivered") test.compare( waitForObjectExists(names.o_treatmentStart_SalineNotification ).visible, True) # in all the other cases it should be enabled - test.compare(waitForObjectExists(names.o_treatmentStart_SalineStart).text.enabled, vSalineState != txStates.SALINE_DISABLE_STATE) + test.compare(waitForObjectExists(names.o_treatmentStart_SalineStart).text.enabled, + not ( + vSalineState == txStates.SALINE_BOLUS_STATE_MAX_DELIVERED or + vSalineState == txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP + ) + ) - if (vSalineState == txStates.SALINE_STOP_STATE ): + if (vSalineState == txStates.SALINE_BOLUS_STATE_IDLE ): test.compare( waitForObjectExists(names.o_treatmentStart_ultrafiltration_section ).isTouchable, True ) - utils.waitForGUI() + utils.waitForGUI(0.2) mouseClick ( waitForObject (names.o_treatmentStart_ultrafiltration_section)) - utils.waitForGUI() - if (vUFState == txStates.UF_PAUSED_STATE ): - test.compare( findObject (names.o_treatmentAdjustmentUltrafiltrationPaused_Screen ).visible , True ) - else: + utils.waitForGUI(0.2) + if (vUFState == txStates.UF_RUNNING_STATE ): test.compare( findObject (names.o_treatmentAdjustmentUltrafiltrationStart_Screen ).visible , True ) + else: + test.compare( findObject (names.o_treatmentAdjustmentUltrafiltrationPaused_Screen ).visible , True ) mouseClick ( waitForObject (names.o_closeButton)) - if (vSalineState == txStates.SALINE_START_STATE ): + if (vSalineState == txStates.SALINE_BOLUS_STATE_IN_PROGRESS or vSalineState == txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP): test.compare( waitForObjectExists(names.o_treatmentStart_ultrafiltration_section ).isTouchable, False ) + test.compare( waitForObjectExists(names.o_treatmentStart_HeparinSection ).isTouchable, False ) + # Heparin section + # Heparin section touchable + if (vHeparinState == txStates.HEPARIN_STATE_OFF or vHeparinState == txStates.HEPARIN_STATE_INITIAL_BOLUS or vHeparinState == txStates.HEPARIN_STATE_EMPTY): + test.compare( waitForObjectExists(names.o_treatmentStart_HeparinSection ).isTouchable, False ) + + if vSubMode == txStates.TREATMENT_DIALYSIS_STATE: + # Heparin Button text + if (vHeparinState == txStates.HEPARIN_STATE_DISPENSING): + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinPause ).text.text), "PAUSE DELIVERY") + if (vHeparinState == txStates.HEPARIN_STATE_PAUSED): + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinPause ).text.text), "RESUME DELIVERY") + if (vHeparinState == txStates.HEPARIN_STATE_COMPLETED): + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinPause ).text.text), "RESUME DELIVERY") + else: + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinPause ).text.text), "HEPARIN DELIVERY") + + #Heparin notification text + if (vHeparinState == txStates.HEPARIN_STATE_INITIAL_BOLUS): + test.compare( waitForObjectExists(names.o_treatmentStart_HeparinNotification ).visible, True) + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinNotification ).text ), "Heparin bolus is active") + if (vHeparinState == txStates.HEPARIN_STATE_OFF): + test.compare( waitForObjectExists(names.o_treatmentStart_HeparinNotification ).visible, True) + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinNotification ).text ), "Heparin delivery Off") + if (vHeparinState == txStates.HEPARIN_STATE_COMPLETED): + test.compare( waitForObjectExists(names.o_treatmentStart_HeparinNotification ).visible, True) + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinNotification ).text ), "Maximum cumulative heparin volume delivered") + if (vHeparinState == txStates.HEPARIN_STATE_EMPTY): + test.compare( waitForObjectExists(names.o_treatmentStart_HeparinNotification ).visible, True) + test.compare(str(waitForObjectExists(names.o_treatmentStart_HeparinNotification ).text ), "Heparin syringe empty") + def main(): utils.tstStart(__file__) - secPause = 0.5 startApplication(names.AUT_NAME) utils.waitForGUI(1) gotoScreenNtest_Contains_TreatmentStatesData() utils.waitForGUI(1) - - # start - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_STOP_STATE ) # 0 0 0 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_STOP_STATE ) # 0 0 0 - utils.waitForGUI(secPause) - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_START_STATE ) # 0 0 1 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_START_STATE ) # 0 0 1 - utils.waitForGUI(secPause) + # start + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_DISABLE_STATE) # 0 0 2 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_DISABLE_STATE) # 0 0 2 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE , txStates.SALINE_STOP_STATE ) # 0 1 0 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE , txStates.SALINE_STOP_STATE ) # 0 1 0 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_START_STATE ) # 0 1 1 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_START_STATE ) # 0 1 1 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_DISABLE_STATE) # 0 1 2 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_DISABLE_STATE) # 0 1 2 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_STOP_STATE ) # 1 0 0 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_STOP_STATE ) # 1 0 0 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_START_STATE ) # 1 0 1 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_START_STATE ) # 1 0 1 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_DISABLE_STATE) # 1 0 2 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_DISABLE_STATE) # 1 0 2 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_STOP_STATE ) # 1 1 0 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_STOP_STATE ) # 1 1 0 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_START_STATE ) # 1 1 1 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_START_STATE ) # 1 1 1 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_DISABLE_STATE) # 1 1 2 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_DISABLE_STATE) # 1 1 2 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_DISABLE_STATE) # 1 1 2 - test_values (txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_DISABLE_STATE) # 1 1 2 - utils.waitForGUI(secPause) - - denaliMessages.setTreatmentStatesData(txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_STOP_STATE ) # 0 0 0 - test_values (txStates.TREATMENT_DIALYSIS_STATE_NOT, txStates.UF_PAUSED_STATE_NOT, txStates.SALINE_STOP_STATE ) # 0 0 0 - utils.waitForGUI(secPause) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) - utils.tstDone() + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE_NOT , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_START_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_PAUSED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_RUNNING_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_OFF_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IDLE , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_IN_PROGRESS , txStates.HEPARIN_STATE_EMPTY ) + + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_OFF ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_PAUSED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_DISPENSING ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_COMPLETED ) + test_values(txStates.TREATMENT_DIALYSIS_STATE , txStates.UF_COMPLETED_STATE , txStates.SALINE_BOLUS_STATE_MAX_DELIVERED , txStates.HEPARIN_STATE_EMPTY ) + + + utils.tstDone() + \ No newline at end of file