-- 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:DialInFlow.c
IMPORT.SOURCE.COVERAGE_STATUS:TRUE
IMPORT.SOURCE.COVERAGE_TYPE:Statement+MCDC
IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE
IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE
IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE
IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE
IMPORT.SOURCE.EDG_COVERAGE:TRUE
IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE
IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE
IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE
IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE
IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:TRUE
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_DialInFlow
RESULT.CBA.NOTES
Self test not yet implemented.
RESULT.CBA.NOTES_END
RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Controllers/DialInFlow.c
RESULT.CBA.FUNCTION: execDialInFlowTest
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 3
RESULT.CBA.CONTEXT: case DIAL_IN_FLOW_SELF_TEST_STATE_START:
RESULT.CBA.CONTEXT_BEFORE:
switch ( dialInPumpSelfTestState )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// retrieve blood flow sensor calibration data
if (
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 3
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case DIAL_IN_FLOW_SELF_TEST_STATE_START:
RESULT.CBA.CONTEXT_BEFORE:
switch ( dialInPumpSelfTestState )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// retrieve blood flow sensor calibration data
if (
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 12
RESULT.CBA.CONTEXT: case DIAL_IN_FLOW_TEST_STATE_COMPLETE:
RESULT.CBA.CONTEXT_BEFORE:
case DIAL_IN_FLOW_TEST_STATE_IN_PROGRESS:
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
break;
default:
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 12
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case DIAL_IN_FLOW_TEST_STATE_COMPLETE:
RESULT.CBA.CONTEXT_BEFORE:
case DIAL_IN_FLOW_TEST_STATE_IN_PROGRESS:
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
break;
default:
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 10
RESULT.CBA.CONTEXT: case DIAL_IN_FLOW_TEST_STATE_IN_PROGRESS:
RESULT.CBA.CONTEXT_BEFORE:
}
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
break;
case DIAL_IN_FLOW_TEST_STATE_COMPLETE:
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 10
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case DIAL_IN_FLOW_TEST_STATE_IN_PROGRESS:
RESULT.CBA.CONTEXT_BEFORE:
}
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
break;
case DIAL_IN_FLOW_TEST_STATE_COMPLETE:
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 5
RESULT.CBA.CONTEXT: dialInFlowCalGain = cal.dialysateFlowGain;
RESULT.CBA.CONTEXT_BEFORE:
== getCalibrationData( &cal ) )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
dialInFlowCalOffset = cal.dialysateFlowOffset_mL_min;
dialInPumpSelfTestState = DIAL_IN_FLOW_TEST_STATE_COMPLETE; // TODO - implement rest of self test(s)
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 6
RESULT.CBA.CONTEXT: dialInFlowCalOffset = cal.dialysateFlowOffset_mL_min;
RESULT.CBA.CONTEXT_BEFORE:
{
dialInFlowCalGain = cal.dialysateFlowGain;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
dialInPumpSelfTestState = DIAL_IN_FLOW_TEST_STATE_COMPLETE; // TODO - implement rest of self test(s)
result = SELF_TEST_STATUS_PASSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 7
RESULT.CBA.CONTEXT: dialInPumpSelfTestState = DIAL_IN_FLOW_TEST_STATE_COMPLETE;
RESULT.CBA.CONTEXT_BEFORE:
dialInFlowCalGain = cal.dialysateFlowGain;
dialInFlowCalOffset = cal.dialysateFlowOffset_mL_min;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
result = SELF_TEST_STATUS_PASSED;
}
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 4
RESULT.CBA.CONTEXT: if ( 
RESULT.CBA.CONTEXT_BEFORE:
case DIAL_IN_FLOW_SELF_TEST_STATE_START:
// retrieve blood flow sensor calibration data
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
1
== getCalibrationData( &cal ) )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 4
RESULT.CBA.COVERAGE: 0 3
RESULT.CBA.CONTEXT: if ( 
RESULT.CBA.CONTEXT_BEFORE:
case DIAL_IN_FLOW_SELF_TEST_STATE_START:
// retrieve blood flow sensor calibration data
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
1
== getCalibrationData( &cal ) )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 4
RESULT.CBA.COVERAGE: 3 3
RESULT.CBA.CONTEXT: if ( 
RESULT.CBA.CONTEXT_BEFORE:
case DIAL_IN_FLOW_SELF_TEST_STATE_START:
// retrieve blood flow sensor calibration data
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
1
== getCalibrationData( &cal ) )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 8
RESULT.CBA.CONTEXT: result = SELF_TEST_STATUS_PASSED;
RESULT.CBA.CONTEXT_BEFORE:
dialInFlowCalOffset = cal.dialysateFlowOffset_mL_min;
dialInPumpSelfTestState = DIAL_IN_FLOW_TEST_STATE_COMPLETE; // TODO - implement rest of self test(s)
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
}
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 9
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
result = SELF_TEST_STATUS_PASSED;
}
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case DIAL_IN_FLOW_TEST_STATE_IN_PROGRESS:
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 1
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
break;
case DIAL_IN_FLOW_TEST_STATE_IN_PROGRESS:
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case DIAL_IN_FLOW_TEST_STATE_COMPLETE:
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 2
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 13
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
break;
case DIAL_IN_FLOW_TEST_STATE_COMPLETE:
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
default:
// TODO - s/w fault
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 3
RESULT.CBA.LINE.END
RESULT.CBA.END
IMPORT.END