Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.env =================================================================== diff -u -r3ec9e333f6fe3455bcc36ab7097d4d2257c7b273 -re3a98125656900cacf3f25d6f6532122c6f28507 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.env (.../INT_SYSTEMCOMMMESSAGES.env) (revision 3ec9e333f6fe3455bcc36ab7097d4d2257c7b273) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.env (.../INT_SYSTEMCOMMMESSAGES.env) (revision e3a98125656900cacf3f25d6f6532122c6f28507) @@ -4,7 +4,6 @@ ENVIRO.STUB_BY_FUNCTION:Buttons ENVIRO.STUB_BY_FUNCTION:DGInterface ENVIRO.STUB_BY_FUNCTION:Dialysis -ENVIRO.STUB_BY_FUNCTION:MessageSupport ENVIRO.STUB_BY_FUNCTION:ModeInitPOST ENVIRO.STUB_BY_FUNCTION:ModePostTreat ENVIRO.STUB_BY_FUNCTION:ModePreTreat @@ -13,6 +12,7 @@ ENVIRO.STUB_BY_FUNCTION:ModeTreatmentParams ENVIRO.STUB_BY_FUNCTION:OperationModes ENVIRO.STUB_BY_FUNCTION:SampleWater +ENVIRO.STUB_BY_FUNCTION:SyringePump ENVIRO.STUB_BY_FUNCTION:SystemComm ENVIRO.UUT:SystemCommMessages ENVIRO.STUB_BY_FUNCTION:TreatmentEnd Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.tst =================================================================== diff -u -r3ec9e333f6fe3455bcc36ab7097d4d2257c7b273 -re3a98125656900cacf3f25d6f6532122c6f28507 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.tst (.../INT_SYSTEMCOMMMESSAGES.tst) (revision 3ec9e333f6fe3455bcc36ab7097d4d2257c7b273) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES.tst (.../INT_SYSTEMCOMMMESSAGES.tst) (revision e3a98125656900cacf3f25d6f6532122c6f28507) @@ -2,7 +2,7 @@ -- Test Case Script -- -- Environment : INT_SYSTEMCOMMMESSAGES --- Unit(s) Under Test: AlarmMgmt Buttons DGInterface Dialysis MessageSupport ModeInitPOST ModePostTreat ModePreTreat ModeStandby ModeTreatment ModeTreatmentParams OperationModes SampleWater SystemComm SystemCommMessages TreatmentEnd TreatmentRecirc TreatmentStop +-- Unit(s) Under Test: AlarmMgmt Buttons DGInterface Dialysis ModeInitPOST ModePostTreat ModePreTreat ModeStandby ModeTreatment ModeTreatmentParams OperationModes SampleWater SyringePump SystemComm SystemCommMessages TreatmentEnd TreatmentRecirc TreatmentStop -- -- Script Features TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING @@ -13,6 +13,40 @@ TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED -- +-- Unit: AlarmMgmt + +-- Subprogram: activateAlarm2Data + +-- Test Case: activateAlarm2Data.001 +TEST.UNIT:AlarmMgmt +TEST.SUBPROGRAM:activateAlarm2Data +TEST.NEW +TEST.NAME:activateAlarm2Data.001 +TEST.VALUE:uut_prototype_stubs.getCPLDACPowerLossDetected.return:0 +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE +TEST.VALUE:OperationModes.<>.currentMode:MODE_TREA +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_DIALYSATE_TEMP_BELOW_TARGET_TEMP]:0 +TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_HD_DIALYSATE_TEMP_BELOW_TARGET_TEMP +TEST.VALUE:AlarmMgmt.activateAlarm2Data.outside:0 +TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_ALARM_TRIGGERED +TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_ALARM +TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_DIALYSATE_TEMP_BELOW_TARGET_TEMP]:1 +TEST.END + +-- Subprogram: setAlarmAudioVolume + +-- Test Case: setAlarmAudioVolume.001 +TEST.UNIT:AlarmMgmt +TEST.SUBPROGRAM:setAlarmAudioVolume +TEST.NEW +TEST.NAME:setAlarmAudioVolume.001 +TEST.VALUE:AlarmMgmt.<>.alarmAudioVolumeLevel.data:3 +TEST.VALUE:AlarmMgmt.<>.alarmAudioVolumeLevel.override:0 +TEST.VALUE:AlarmMgmt.setAlarmAudioVolume.volumeLevel:3 +TEST.EXPECTED:AlarmMgmt.<>.alarmAudioVolumeLevel.data:2 +TEST.EXPECTED:AlarmMgmt.<>.alarmAudioVolumeLevel.override:0 +TEST.END + -- Unit: Buttons -- Subprogram: handleOffButtonProcessing @@ -23,11 +57,23 @@ TEST.NEW TEST.NAME:sendOffButtonMsgToUI TEST.IMPORT_FAILURES: -(I) @LINE: 69 +(I) @LINE: 80 >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 72 +(I) @LINE: 84 >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 77 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 80 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 73 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 76 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 69 + >>> >>> 'TRUE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 72 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 157 >>> >>> 'BUTTON_STATE_PRESSED' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 162 @@ -69,9 +115,9 @@ >>> (I) @LINE: 144 >>> >>> 'BUTTON_STATE_PRESSED' was specified as a macro, but it is in the symbol dictionary. TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.addToCommBuffer.return:1 TEST.VALUE:Buttons.<>.offRequestAwaitingUserConfirmation:MACRO=TRUE TEST.VALUE:Buttons.<>.offRequestPendingTimer:70000 +TEST.VALUE:uut_prototype_stubs.addToCommBuffer.return:1 TEST.VALUE:SystemCommMessages.<>.nextSeqNo:21 TEST.EXPECTED:Buttons.<>.offRequestAwaitingUserConfirmation:MACRO=FALSE TEST.EXPECTED:SystemCommMessages.<>.nextSeqNo:22 @@ -202,9 +248,15 @@ TEST.NEW TEST.NAME:sendDGFillCommand TEST.IMPORT_FAILURES: -(I) @LINE: 212 +(I) @LINE: 230 >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 224 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 218 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 212 + >>> >>> 'FALSE' was specified as a macro, but it is in the symbol dictionary. >>> (E) @LINE: 294 TEST.VALUE:DGInterface.<>.dgReservoirFillVolumeTargetSet:0 >>> >>> Unknown parameter/object name dgReservoirFillVolumeTargetSet >>> >>> Value Line Error - Command Ignored @@ -423,6 +475,52 @@ TEST.EXPECTED:SystemCommMessages.<>.nextSeqNo:2 TEST.END +-- Subprogram: verifyBloodAndDialysateRateSettingsChange + +-- Test Case: verifyBloodAndDialysateRateSettingsChange.001 +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyBloodAndDialysateRateSettingsChange +TEST.NEW +TEST.NAME:verifyBloodAndDialysateRateSettingsChange.001 +TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:20 +TEST.VALUE:uut_prototype_stubs.getCriticalData.return.uInt:400 +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:3600 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:1000.0 +TEST.VALUE:ModeTreatment.<>.presUFRate:10.0 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:10000 +TEST.VALUE:ModeTreatment.<>.treatmentTimeBroadcastTimerCtr:20 +TEST.VALUE:ModeTreatment.<>.treatmentStateBroadcastTimerCtr:20 +TEST.VALUE:ModeTreatment.<>.treatmentParamsRangesBroadcastTimerCtr:20 +TEST.VALUE:ModeTreatment.verifyBloodAndDialysateRateSettingsChange.bloodRate:500 +TEST.VALUE:ModeTreatment.verifyBloodAndDialysateRateSettingsChange.dialRate:600 +TEST.VALUE:OperationModes.<>.currentMode:MODE_TPAR +TEST.EXPECTED:ModeTreatment.verifyBloodAndDialysateRateSettingsChange.return:0 +TEST.END + +-- Subprogram: verifyPressureLimitsChange + +-- Test Case: verifyPressureLimitsChange.001 +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyPressureLimitsChange +TEST.NEW +TEST.NAME:verifyPressureLimitsChange.001 +TEST.VALUE:uut_prototype_stubs.getCriticalData.return.uInt:120,100,20 +TEST.VALUE:ModeTreatment.verifyPressureLimitsChange.data:<> +TEST.VALUE:ModeTreatment.verifyPressureLimitsChange.data[0].artPresLimitWindowmmHg:120 +TEST.VALUE:ModeTreatment.verifyPressureLimitsChange.data[0].venPresLimitWindowmmHg:90 +TEST.VALUE:ModeTreatment.verifyPressureLimitsChange.data[0].venPresLimitAsymmetricmmHg:20 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_ART_PRES_LIMIT_WINDOW].typ:CRITICAL_DATA_TYPE_U32 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_ART_PRES_LIMIT_WINDOW].minimum.uInt:100 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_ART_PRES_LIMIT_WINDOW].maximum.uInt:200 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_VEN_PRES_LIMIT_WINDOW].typ:CRITICAL_DATA_TYPE_U32 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_VEN_PRES_LIMIT_WINDOW].minimum.uInt:100 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_VEN_PRES_LIMIT_WINDOW].maximum.uInt:200 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_VEN_PRES_LIMIT_ASYMMETRIC].typ:CRITICAL_DATA_TYPE_U32 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_VEN_PRES_LIMIT_ASYMMETRIC].minimum.uInt:20 +TEST.VALUE:ModeTreatmentParams.<>.treatmentParameters[TREATMENT_PARAM_VEN_PRES_LIMIT_ASYMMETRIC].maximum.uInt:100 +TEST.EXPECTED:ModeTreatment.verifyPressureLimitsChange.return:0 +TEST.END + -- Subprogram: verifyTreatmentDurationSettingChange -- Test Case: sendChangeUFSettingsResponse @@ -460,6 +558,38 @@ TEST.EXPECTED:ModeTreatment.verifyTreatmentDurationSettingChange.return:1 TEST.END +-- Subprogram: verifyUFSettingsChange + +-- Test Case: verifyUFSettingsChange.001 +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyUFSettingsChange +TEST.NEW +TEST.NAME:verifyUFSettingsChange.001 +TEST.VALUE:ModeTreatment.verifyUFSettingsChange.uFVolume:1000.0 +TEST.EXPECTED:ModeTreatment.verifyUFSettingsChange.return:0 +TEST.END + +-- Subprogram: verifyUFSettingsConfirmation + +-- Test Case: verifyUFSettingsConfirmation.001 +TEST.UNIT:ModeTreatment +TEST.SUBPROGRAM:verifyUFSettingsConfirmation +TEST.NEW +TEST.NAME:verifyUFSettingsConfirmation.001 +TEST.VALUE:uut_prototype_stubs.getCriticalData.return.uInt:400 +TEST.VALUE:ModeTreatment.<>.currentTreatmentState:TREATMENT_DIALYSIS_STATE +TEST.VALUE:ModeTreatment.<>.presTreatmentTimeSecs:3600 +TEST.VALUE:ModeTreatment.<>.presMaxUFVolumeML:1000.0 +TEST.VALUE:ModeTreatment.<>.presUFRate:10.0 +TEST.VALUE:ModeTreatment.<>.treatmentTimeMS:10000 +TEST.VALUE:ModeTreatment.<>.treatmentTimePublishInterval.data:20 +TEST.VALUE:ModeTreatment.<>.treatmentStatePublishInterval.data:20 +TEST.VALUE:ModeTreatment.<>.treatmentParamRangesPublishInterval.data:20 +TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.uFVolume:1000.0 +TEST.VALUE:ModeTreatment.verifyUFSettingsConfirmation.adjustment:1 +TEST.EXPECTED:ModeTreatment.verifyUFSettingsConfirmation.return:0 +TEST.END + -- Unit: ModeTreatmentParams -- Subprogram: sendTreatmentParamsResponse @@ -572,6 +702,27 @@ TEST.EXPECTED:ModeTreatmentParams.setTreatmentParameterF32.value:0.0 TEST.END +-- Unit: SampleWater + +-- Subprogram: signalSampleWaterUserAction + +-- Test Case: signalSampleWaterUserAction.001 +TEST.UNIT:SampleWater +TEST.SUBPROGRAM:signalSampleWaterUserAction +TEST.NEW +TEST.NAME:signalSampleWaterUserAction.001 +TEST.VALUE:SampleWater.signalSampleWaterUserAction.action:REQUESTED_USER_ACTION_SAMPLE_WATER_STOP +TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_STUCK_BUTTON_TEST_FAILED]:1 +TEST.FLOW + SampleWater.c.signalSampleWaterUserAction + uut_prototype_stubs.blankMessage + uut_prototype_stubs.crc8 + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.addToCommBuffer + SampleWater.c.signalSampleWaterUserAction +TEST.END_FLOW +TEST.END + -- Unit: SystemComm -- Subprogram: execSystemCommRx @@ -712,7 +863,7 @@ TEST.END_NOTES: TEST.STUB:Dialysis.pauseUF TEST.VALUE:Dialysis.<>.currentUFState:UF_RUNNING_STATE -TEST.VALUE:Dialysis.pauseUF.return:FALSE +TEST.VALUE:Dialysis.pauseUF.return:MACRO=FALSE TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x10 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:4 @@ -961,7 +1112,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[4]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[5]:0 -TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[6]:00 +TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[6]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[7]:0 TEST.EXPECTED:DGInterface.setDialysateTemperatureReadings.tdi:0.0 TEST.EXPECTED:DGInterface.setDialysateTemperatureReadings.tro:0.0 @@ -980,15 +1131,15 @@ (65) if ((msgID > (MSG_ID_FIRST_TESTER_MESSAGE) && msgID <= (END_OF_MSG_IDS)) && (1) == isTestingActivated()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:FALSE +TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:MACRO=FALSE TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x32 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:4 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[0]:1 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:TRUE +TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:MACRO=TRUE TEST.END -- Test Case: 0035 @@ -1051,7 +1202,7 @@ TEST.END_NOTES: TEST.STUB:ModeTreatmentParams.signalUserCancelTreatment TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:ModeTreatmentParams.signalUserCancelTreatment.return:FALSE +TEST.VALUE:ModeTreatmentParams.signalUserCancelTreatment.return:MACRO=FALSE TEST.VALUE:OperationModes.<>.currentMode:MODE_TPAR TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_TPAR TEST.VALUE:SystemComm.processReceivedMessage.message:<> @@ -1061,7 +1212,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.EXPECTED:ModeTreatmentParams.<>.treatmentCancelled:FALSE +TEST.EXPECTED:ModeTreatmentParams.<>.treatmentCancelled:MACRO=FALSE TEST.END -- Test Case: 003B @@ -1087,7 +1238,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.EXPECTED:ModeTreatmentParams.<>.treatParamsConfirmed:TRUE +TEST.EXPECTED:ModeTreatmentParams.<>.treatParamsConfirmed:MACRO=TRUE TEST.END -- Test Case: 003C @@ -1201,14 +1352,19 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x4A TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModePostTreat.<>.patientDisconnectionConfirmed:TRUE +TEST.EXPECTED:ModePostTreat.<>.patientDisconnectionConfirmed:MACRO=TRUE TEST.END -- Test Case: 004B TEST.UNIT:SystemComm TEST.SUBPROGRAM:processReceivedMessage TEST.NEW TEST.NAME:004B +TEST.IMPORT_FAILURES: +(E) @LINE: 1317 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.cmd:HEPARIN_CMD_RESUME + >>> Unknown parameter/object name cmd + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:170 of 208 TEST.NOTES: This is an automatically generated test case. @@ -1224,7 +1380,6 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[1]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[2]:0 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[3]:0 -TEST.EXPECTED:uut_prototype_stubs.userHeparinRequest.cmd:HEPARIN_CMD_RESUME TEST.END -- Test Case: 004E @@ -1410,7 +1565,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x5F TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:4 TEST.VALUE:SystemComm.processReceivedMessage.message[0].payload[0]:5 -TEST.EXPECTED:SampleWater.<>.sampleWaterResultEntered:TRUE +TEST.EXPECTED:SampleWater.<>.sampleWaterResultEntered:MACRO=TRUE TEST.EXPECTED:SampleWater.<>.sampleWaterResult:5 TEST.END @@ -1430,7 +1585,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x62 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:FALSE +TEST.EXPECTED:ModePreTreat.<>.confirmInstallRequested:MACRO=FALSE TEST.END -- Test Case: 0064 @@ -1450,7 +1605,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x64 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModePreTreat.<>.continueToTreatmentRequested:TRUE +TEST.EXPECTED:ModePreTreat.<>.continueToTreatmentRequested:MACRO=TRUE TEST.END -- Test Case: 0066 @@ -1471,7 +1626,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x66 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:TRUE +TEST.EXPECTED:ModePreTreat.<>.patientConnectionConfirm:MACRO=TRUE TEST.END -- Test Case: 0068 @@ -1527,13 +1682,13 @@ Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:OperationModes.getCurrentOperationMode -TEST.VALUE:ModePreTreat.<>.patientConnectionConfirm:TRUE +TEST.VALUE:ModePreTreat.<>.patientConnectionConfirm:MACRO=TRUE TEST.VALUE:ModePreTreat.<>.currentPreTreatmentState:HD_PRE_TREATMENT_PATIENT_CONNECTION_STATE TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_PRET TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x71 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:TRUE +TEST.EXPECTED:ModePreTreat.<>.treatmentStartRequested:MACRO=TRUE TEST.END -- Test Case: 0073 @@ -1553,7 +1708,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x73 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModePostTreat.<>.disposableRemovalConfirmed:TRUE +TEST.EXPECTED:ModePostTreat.<>.disposableRemovalConfirmed:MACRO=TRUE TEST.END -- Test Case: 0075 @@ -1614,7 +1769,7 @@ TEST.STUB:SystemComm.isDGCommunicating TEST.VALUE:ModeStandby.<>.currentStandbyState:STANDBY_WAIT_FOR_DISINFECT_STATE TEST.VALUE:OperationModes.getCurrentOperationMode.return:MODE_STAN -TEST.VALUE:SystemComm.isDGCommunicating.return:TRUE +TEST.VALUE:SystemComm.isDGCommunicating.return:MACRO=TRUE TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x7F TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:4 @@ -1641,7 +1796,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x81 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:15 -TEST.EXPECTED:DGInterface.<>.dgServiceAndUsageData.isDGServiceRecordAvailable:TRUE +TEST.EXPECTED:DGInterface.<>.dgServiceAndUsageData.isDGServiceRecordAvailable:MACRO=TRUE TEST.END -- Test Case: 0087 @@ -1699,7 +1854,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x8D TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:42 -TEST.EXPECTED:DGInterface.<>.dgServiceAndUsageData.isDGUsageInfoAvailable:TRUE +TEST.EXPECTED:DGInterface.<>.dgServiceAndUsageData.isDGUsageInfoAvailable:MACRO=TRUE TEST.END -- Test Case: 0091 @@ -1718,7 +1873,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x91 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0x4 -TEST.EXPECTED:ModeInitPOST.<>.dgPOSTResultReceived:TRUE +TEST.EXPECTED:ModeInitPOST.<>.dgPOSTResultReceived:MACRO=TRUE TEST.END -- Test Case: 0092 @@ -1737,7 +1892,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x92 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0x4 -TEST.EXPECTED:ModeInitPOST.<>.uiPOSTResultReceived:TRUE +TEST.EXPECTED:ModeInitPOST.<>.uiPOSTResultReceived:MACRO=TRUE TEST.END -- Test Case: 0097 @@ -1919,7 +2074,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0xB3 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:20 -TEST.EXPECTED:DGInterface.<>.dgDialysateFlowDataFreshFlag:TRUE +TEST.EXPECTED:DGInterface.<>.dgDialysateFlowDataFreshFlag:MACRO=TRUE TEST.END -- Test Case: 00BB @@ -1962,7 +2117,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0xCD TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:0 -TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.sampleRqstTrgrd:TRUE +TEST.EXPECTED:ModeStandby.<>.currentDGCleaningMode.sampleRqstTrgrd:MACRO=TRUE TEST.END -- Test Case: 8001 @@ -1984,8 +2139,8 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x8001 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:12 -TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:TRUE -TEST.EXPECTED:SystemCommMessages.<>.testerLoggedIn:TRUE +TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:MACRO=TRUE +TEST.EXPECTED:SystemCommMessages.<>.testerLoggedIn:MACRO=TRUE TEST.END -- Test Case: 8002 @@ -2006,7 +2161,7 @@ TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x8002 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:8 -TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:TRUE +TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:MACRO=TRUE TEST.EXPECTED:Buttons.<>.dataOffButtonState.override:0xCCC33C33 TEST.END @@ -2016,9 +2171,15 @@ TEST.NEW TEST.NAME:handleAirPumpIntervalOverrideRequest TEST.IMPORT_FAILURES: -(I) @LINE: 1740 +(I) @LINE: 2144 >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 2104 + >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 2050 + >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1740 + >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1737 >>> >>> 'MSG_ID_HD_AIR_PUMP_PUBLISH_INTERVAL_OVERRIDE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1885 @@ -4410,11 +4571,11 @@ TEST.NAME:handleTestHDSafetyShutdownOverrideRequest TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) - >>> (E) @LINE: 2803 TEST.EXPECTED:uut_prototype_stubs.isSyringeDetected.value:1 + >>> (E) @LINE: 2803 TEST.EXPECTED:uut_prototype_stubs.isPersistentAlarmTriggered.value:1 >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:1 +TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1 TEST.VALUE:SystemComm.processReceivedMessage.message:<> TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.msgID:0x8026 TEST.VALUE:SystemComm.processReceivedMessage.message[0].hdr.payloadLen:8 @@ -5023,10 +5184,19 @@ TEST.NEW TEST.NAME:sendACKMsg TEST.IMPORT_FAILURES: -(E) @LINE: 4803 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 +(E) @LINE: 5218 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 >>> Expected a field name from the record type MESSAGE_HEADER_T >>> Read: msgID::INPUT_BASE=16 (E) Errors from previous script import(s) + >>> (E) @LINE: 5175 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 + >>> >>> Expected a field name from the record type MESSAGE_HEADER_T + >>> >>> Read: msgID::INPUT_BASE=16 + >>> (E) @LINE: 5116 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 + >>> >>> Expected a field name from the record type MESSAGE_HEADER_T + >>> >>> Read: msgID::INPUT_BASE=16 + >>> (E) @LINE: 4803 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 + >>> >>> Expected a field name from the record type MESSAGE_HEADER_T + >>> >>> Read: msgID::INPUT_BASE=16 >>> (E) @LINE: 4797 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 >>> >>> Expected a field name from the record type MESSAGE_HEADER_T >>> >>> Read: msgID::INPUT_BASE=16 @@ -5109,10 +5279,12 @@ >>> >>> Expected a field name from the record type MESSAGE_HEADER_T >>> >>> Read: msgID::INPUT_BASE=16 TEST.END_IMPORT_FAILURES: -TEST.VALUE:uut_prototype_stubs.getFromMsgQueue.queue:MSG_Q_IN +TEST.VALUE:uut_prototype_stubs.getFromMsgQueue.msg[0].msg.hdr.seqNo:-21 +TEST.VALUE:uut_prototype_stubs.getFromMsgQueue.msg[0].msg.hdr.msgID:0x3 +TEST.VALUE:uut_prototype_stubs.getFromMsgQueue.msg[0].crc:0x12 TEST.VALUE:uut_prototype_stubs.getFromMsgQueue.return:1 TEST.VALUE:uut_prototype_stubs.crc8.return:0x12 -TEST.EXPECTED:uut_prototype_stubs.getFromMsgQueue.queue:(332)MSG_Q_IN +TEST.EXPECTED:uut_prototype_stubs.getFromMsgQueue.queue:MSG_Q_IN TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].hdr.msgID::INPUT_BASE=16 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].payload[4]::INPUT_BASE=16 TEST.ATTRIBUTES:SystemComm.processReceivedMessage.message[0].payload[5]::INPUT_BASE=16 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES_cba.cvr =================================================================== diff -u -r4f6113bbd58288e700e643da89cc1577df674e52 -re3a98125656900cacf3f25d6f6532122c6f28507 --- vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES_cba.cvr (.../INT_SYSTEMCOMMMESSAGES_cba.cvr) (revision 4f6113bbd58288e700e643da89cc1577df674e52) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_SYSTEMCOMMMESSAGES/INT_SYSTEMCOMMMESSAGES_cba.cvr (.../INT_SYSTEMCOMMMESSAGES_cba.cvr) (revision e3a98125656900cacf3f25d6f6532122c6f28507) @@ -1 +1,437 @@ +-- Imported Coverage Results Script +IMPORT.BEGIN +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:8 +IMPORT.SOURCE.ORIG_FILENAME:S0000008.c +IMPORT.SOURCE.COVERAGE_STATUS:FALSE +IMPORT.SOURCE.COVERAGE_TYPE:None +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:TRUE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:TRUE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_UNKNOWN +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:TRUE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:9 +IMPORT.SOURCE.ORIG_FILENAME:Buttons.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:11 +IMPORT.SOURCE.ORIG_FILENAME:DGInterface.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:12 +IMPORT.SOURCE.ORIG_FILENAME:SyringePump.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:13 +IMPORT.SOURCE.ORIG_FILENAME:Dialysis.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:14 +IMPORT.SOURCE.ORIG_FILENAME:ModeInitPOST.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:15 +IMPORT.SOURCE.ORIG_FILENAME:ModePostTreat.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:16 +IMPORT.SOURCE.ORIG_FILENAME:ModePreTreat.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:17 +IMPORT.SOURCE.ORIG_FILENAME:ModeStandby.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:18 +IMPORT.SOURCE.ORIG_FILENAME:ModeTreatment.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:19 +IMPORT.SOURCE.ORIG_FILENAME:ModeTreatmentParams.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:20 +IMPORT.SOURCE.ORIG_FILENAME:OperationModes.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:21 +IMPORT.SOURCE.ORIG_FILENAME:SampleWater.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:22 +IMPORT.SOURCE.ORIG_FILENAME:TreatmentEnd.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:23 +IMPORT.SOURCE.ORIG_FILENAME:TreatmentRecirc.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:24 +IMPORT.SOURCE.ORIG_FILENAME:TreatmentStop.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:25 +IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:26 +IMPORT.SOURCE.ORIG_FILENAME:SystemComm.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:27 +IMPORT.SOURCE.ORIG_FILENAME:SystemCommMessages.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Function +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:FALSE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:FALSE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +RESULT.CBA.BEGIN +RESULT.CBA.RESULT: CBA_SystemCommMessages +RESULT.CBA.NOTES +sendDGPOSTResultRequest function not used. +RESULT.CBA.NOTES_END +RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Services/SystemCommMessages.c +RESULT.CBA.FUNCTION: sendDGPOSTResultRequest +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 0 +RESULT.CBA.COVERAGE: FN +RESULT.CBA.CONTEXT: { +RESULT.CBA.CONTEXT_AFTER: +BOOL result; +MESSAGE_T msg; +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.END +IMPORT.END