Index: tst_TreatmentStatesData/test.py =================================================================== diff -u -re2b1198b35a5e13749755e0839255d13f746a7c9 -r2b0ff4367443cf0458594c81c32598df5b6c39cb --- tst_TreatmentStatesData/test.py (.../test.py) (revision e2b1198b35a5e13749755e0839255d13f746a7c9) +++ tst_TreatmentStatesData/test.py (.../test.py) (revision 2b0ff4367443cf0458594c81c32598df5b6c39cb) @@ -20,10 +20,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): + 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, False ) @@ -64,189 +65,335 @@ 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 ) + # 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") + #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_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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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) - - denaliMessages.setTreatmentStatesData(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