-- 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:FPGA.c
IMPORT.SOURCE.COVERAGE_STATUS:TRUE
IMPORT.SOURCE.COVERAGE_TYPE:Statement+MCDC
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:TRUE
IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE
IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE
IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:FALSE
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_FPGA
RESULT.CBA.NOTES
HD valves related functions to be tested in HD valves branch.
RESULT.CBA.NOTES_END
RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Services/FPGA.c
RESULT.CBA.FUNCTION: enableValvesPIDControl
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: fpgaActuatorSetPoints.fpgaPIDControl = 0x55;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
fpgaActuatorSetPoints.fpgaPIDControl = 0x55; // TODO - this looks hard coded - ignoring param - fix this
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: getArterialBloodValvePoistion
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: return fpgaSensorReadings.VBAPosition;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
return fpgaSensorReadings.VBAPosition;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: getDialyzerInletValvePosition
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: return fpgaSensorReadings.VDiPosition;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
return fpgaSensorReadings.VDiPosition;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: getDialyzerOutletValvePosition
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: return fpgaSensorReadings.VDoPosition;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
return fpgaSensorReadings.VDoPosition;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: getVenousBloodValvePoistion
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: return fpgaSensorReadings.VBVPosition;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
return fpgaSensorReadings.VBVPosition;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: setArterialBloodValvePosition
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: fpgaActuatorSetPoints.VBASetPoint = setPoint;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
fpgaActuatorSetPoints.VBASetPoint = setPoint;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: setDialyzerInletValvePosition
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: fpgaActuatorSetPoints.VDiSetPoint = setPoint;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
fpgaActuatorSetPoints.VDiSetPoint = setPoint;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: setDialyzerOutletValvePosition
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: fpgaActuatorSetPoints.VDoSetPoint = setPoint;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
fpgaActuatorSetPoints.VDoSetPoint = setPoint;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: setVenousBloodValvePosition
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 1
RESULT.CBA.CONTEXT: fpgaActuatorSetPoints.VBVSetPoint = setPoint;
RESULT.CBA.CONTEXT_BEFORE:
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 0
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: {
RESULT.CBA.CONTEXT_AFTER:
fpgaActuatorSetPoints.VBVSetPoint = setPoint;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.END
IMPORT.END