Index: tst_TreatmentStatesData/test.py =================================================================== diff -u -r867655840cada2d79fa5028c8fab68516ea59673 -r80181d382e841f6e66c8f0ad85d1c78e6856cfde --- tst_TreatmentStatesData/test.py (.../test.py) (revision 867655840cada2d79fa5028c8fab68516ea59673) +++ tst_TreatmentStatesData/test.py (.../test.py) (revision 80181d382e841f6e66c8f0ad85d1c78e6856cfde) @@ -22,10 +22,11 @@ def gotoScreenNtest_Contains_TreatmentStatesData(): mouseClick(waitForObject(names.o_treatmentHome_startTreatment)) # default state of the in-treatment - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) + 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): + HDSimulator.cmd_set_treatment_states_data(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, False ) @@ -66,189 +67,340 @@ 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() + 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_BOLUS_STATE_IN_PROGRESS): + 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 - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE_NOT, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_START_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_PAUSED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_RUNNING_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IDLE) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_IN_PROGRESS) - utils.waitForGUI(secPause) - - HDSimulator.cmd_set_treatment_states_data(TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - test_values (TXStates.TREATMENT_DIALYSIS_STATE, TXStates.UF_COMPLETED_STATE, TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED) - utils.waitForGUI(secPause) - - utils.tstDone() + 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 ) + 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 ) + + 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