Index: tst_TreatmentStatesData/test.py =================================================================== diff -u -r80181d382e841f6e66c8f0ad85d1c78e6856cfde -rcea6eac6a05f57e3317b45762a470eb18b314ab3 --- tst_TreatmentStatesData/test.py (.../test.py) (revision 80181d382e841f6e66c8f0ad85d1c78e6856cfde) +++ tst_TreatmentStatesData/test.py (.../test.py) (revision cea6eac6a05f57e3317b45762a470eb18b314ab3) @@ -16,19 +16,19 @@ from dialin.ui import utils from dialin import HDSimulator from dialin.ui.hd_simulator import TXStates -HDSimulator = HDSimulator() +hd_sim = HDSimulator() 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, TXStates.HEPARIN_STATE_OFF) + test_values(TXStates.TREATMENT_START_STATE, TXStates.UF_OFF_STATE, TXStates.SALINE_BOLUS_STATE_IDLE, TXStates.HEPARIN_STATE_OFF) def test_values(vSubMode, vUFState, vSalineState, vHeparinState): - HDSimulator.cmd_set_treatment_states_data(vSubMode, vUFState, vSalineState, vHeparinState) + hd_sim.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): + if (vSubMode == TXStates.TREATMENT_START_STATE): test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_arrowImage ).visible, False ) test.compare( waitForObjectExists(names.o_treatmentStart_treatmentTime_second ).visible, False ) test.compare( findObject (names.o_treatmentStart_treatmentTime_notification ).visible, True ) @@ -121,145 +121,145 @@ utils.waitForGUI(1) # start - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_OFF ) - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_PAUSED ) - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_DISPENSING ) - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_COMPLETED ) - test_values(TXStates.TREATMENT_DIALYSIS_STATE_NOT , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_EMPTY ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_START_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_PAUSED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_RUNNING_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_OFF_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IDLE , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_WAIT_FOR_PUMPS_STOP , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_IN_PROGRESS , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_OFF ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_PAUSED ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_INITIAL_BOLUS ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_DISPENSING ) + test_values(TXStates.TREATMENT_START_STATE , TXStates.UF_COMPLETED_STATE , TXStates.SALINE_BOLUS_STATE_MAX_DELIVERED , TXStates.HEPARIN_STATE_COMPLETED ) + test_values(TXStates.TREATMENT_START_STATE , 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 )