Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL.cfg =================================================================== diff -u -rad58caab37230c2ca49ba051ad93515495ad6897 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL.cfg (.../INT_ACCEL.cfg) (revision ad58caab37230c2ca49ba051ad93515495ad6897) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL.cfg (.../INT_ACCEL.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL.tst =================================================================== diff -u -rad58caab37230c2ca49ba051ad93515495ad6897 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL.tst (.../INT_ACCEL.tst) (revision ad58caab37230c2ca49ba051ad93515495ad6897) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL.tst (.../INT_ACCEL.tst) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -23,14 +23,14 @@ TEST.NEW TEST.NAME:execAccelTest1 TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_ACCELEROMETER -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelXOffset:0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelYOffset:0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelZOffset:0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelXOffset:0.0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelYOffset:0.0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelZOffset:0.0 TEST.VALUE:uut_prototype_stubs.getCalibrationData.return:1 -TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:1 +TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:1.0 TEST.VALUE:Accel.<>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_START TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:8 -TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0 +TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 TEST.EXPECTED:Accel.<>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_IN_PROGRESS TEST.END @@ -39,13 +39,18 @@ TEST.SUBPROGRAM:execInitAndPOSTMode TEST.NEW TEST.NAME:execAccelTest2 +TEST.IMPORT_FAILURES: +(E) @LINE: 43 TEST.VALUE:uut_prototype_stubs.sqrt.return:1.0 + >>> Could not find function sqrt + >>> in unit uut_prototype_stubs. + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.VALUE:ModeInitPOST.<>.postState:POST_STATE_ACCELEROMETER -TEST.VALUE:uut_prototype_stubs.sqrt.return:1.0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelXOffset:0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelYOffset:0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelZOffset:0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelXOffset:0.0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelYOffset:0.0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelZOffset:0.0 TEST.VALUE:uut_prototype_stubs.getCalibrationData.return:1 -TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0 +TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 TEST.VALUE:Accel.<>.accelAxes[ACCEL_AXIS_X].data:0.0 TEST.VALUE:Accel.<>.accelAxes[ACCEL_AXIS_Y].data:0.0 TEST.VALUE:Accel.<>.accelAxes[ACCEL_AXIS_Z].data:1.0 @@ -64,9 +69,9 @@ TEST.NEW TEST.NAME:setAccelCalibration TEST.VALUE:uut_prototype_stubs.setCalibrationData.return:1 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelXOffset:0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelYOffset:0 -TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelZOffset:0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelXOffset:0.0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelYOffset:0.0 +TEST.VALUE:uut_prototype_stubs.getCalibrationData.buffer[0].accelZOffset:0.0 TEST.VALUE:uut_prototype_stubs.getCalibrationData.return:1 TEST.VALUE:SystemCommMessages.<>.testerLoggedIn:1 TEST.VALUE:SystemCommMessages.handleSetAccelCalibration.message:<> @@ -83,13 +88,13 @@ TEST.VALUE:SystemCommMessages.handleSetAccelCalibration.message[0].payload[9]:0 TEST.VALUE:SystemCommMessages.handleSetAccelCalibration.message[0].payload[10]:0 TEST.VALUE:SystemCommMessages.handleSetAccelCalibration.message[0].payload[11]:0 -TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0 -TEST.EXPECTED:uut_prototype_stubs.setCalibrationData.data.accelXOffset:1 -TEST.EXPECTED:uut_prototype_stubs.setCalibrationData.data.accelYOffset:2 -TEST.EXPECTED:uut_prototype_stubs.setCalibrationData.data.accelZOffset:3 -TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_X]:1 -TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_Y]:2 -TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_Z]:3 +TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 +TEST.EXPECTED:uut_prototype_stubs.setCalibrationData.data.accelXOffset:1.0 +TEST.EXPECTED:uut_prototype_stubs.setCalibrationData.data.accelYOffset:2.0 +TEST.EXPECTED:uut_prototype_stubs.setCalibrationData.data.accelZOffset:3.0 +TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_X]:1.0 +TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_Y]:2.0 +TEST.EXPECTED:Accel.<>.accelCalOffsets[ACCEL_AXIS_Z]:3.0 TEST.END -- Subprogram: handleTestHDAccelBroadcastIntervalOverrideRequest @@ -279,9 +284,17 @@ TEST.SUBPROGRAM:taskPriority TEST.NEW TEST.NAME:execAccel +TEST.IMPORT_FAILURES: +(E) @LINE: 283 TEST.VALUE:uut_prototype_stubs.asin.return:(2)0.0,1.57 + >>> Could not find function asin + >>> in unit uut_prototype_stubs. + >>> Value Line Error - Command Ignored +(E) @LINE: 284 TEST.VALUE:uut_prototype_stubs.sqrt.return:1.0 + >>> Could not find function sqrt + >>> in unit uut_prototype_stubs. + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.uiCommunicated.return:1 -TEST.VALUE:uut_prototype_stubs.asin.return:(2)0.0,1.57 -TEST.VALUE:uut_prototype_stubs.sqrt.return:1.0 TEST.VALUE:uut_prototype_stubs.getFPGAAccelAxes.x[0]:0 TEST.VALUE:uut_prototype_stubs.getFPGAAccelAxes.y[0]:0 TEST.VALUE:uut_prototype_stubs.getFPGAAccelAxes.z[0]:250 @@ -292,7 +305,7 @@ TEST.VALUE:uut_prototype_stubs.getFPGAAccelStatus.accelFPGAFaultReg[0]:0 TEST.VALUE:Accel.<>.accelState:ACCELEROMETER_MONITOR_STATE TEST.VALUE:Accel.<>.accelDataPublicationTimerCounter:0 -TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0 +TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 TEST.VALUE:Accel.<>.accelDataPublishInterval.data:100 TEST.VALUE:Accel.<>.accelAxes[ACCEL_AXIS_X].data:2.0 TEST.VALUE:Accel.<>.accelAxes[ACCEL_AXIS_Y].data:2.0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL_cba.cvr =================================================================== diff -u -rad58caab37230c2ca49ba051ad93515495ad6897 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL_cba.cvr (.../INT_ACCEL_cba.cvr) (revision ad58caab37230c2ca49ba051ad93515495ad6897) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ACCEL/INT_ACCEL_cba.cvr (.../INT_ACCEL_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,151 +1 @@ --- 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: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:11 -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 -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:12 -IMPORT.SOURCE.ORIG_FILENAME:TaskPriority.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:Accel.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:sys_main.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_Accel -RESULT.CBA.NOTES -Some functions not yet called. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/FWCommon/Accel.c -RESULT.CBA.FUNCTION: getAccelCalibration -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -*offsetX = accelCalOffsets[ ACCEL_AXIS_X ]; -*offsetY = accelCalOffsets[ ACCEL_AXIS_Y ]; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.cfg =================================================================== diff -u -r941afbaab7fc86f40fa49f9d110d481f65b44b68 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.cfg (.../INT_ALARMMGMT.cfg) (revision 941afbaab7fc86f40fa49f9d110d481f65b44b68) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.cfg (.../INT_ALARMMGMT.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.env =================================================================== diff -u -r477515fb4a6518b538fd218a1638ba2958e82d1c -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.env (.../INT_ALARMMGMT.env) (revision 477515fb4a6518b538fd218a1638ba2958e82d1c) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.env (.../INT_ALARMMGMT.env) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -11,6 +11,15 @@ ENVIRO.TYPE_HANDLED_DIRS_ALLOWED: ENVIRO.LIBRARY_STUBS: ENVIRO.UNIT_PREFIX_USER_CODE: +ENVIRO.UNIT_PREFIX_USER_CODE_FILE:AlarmMgmt + + +#include "reg_mibspi.h" +mibspiBASE_t* ptr_mibspiREG3; +#undef mibspiREG3 +#define mibspiREG3 ptr_mibspiREG3 + +ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: ENVIRO.UNIT_PREFIX_USER_CODE_FILE:BloodFlow @@ -24,15 +33,6 @@ #define etpwmREG1 ptr_pwmREG1 ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: - -ENVIRO.UNIT_PREFIX_USER_CODE_FILE:AlarmMgmt - -#include "reg_mibspi.h" -mibspiBASE_t* ptr_mibspiREG3; -#undef mibspiREG3 -#define mibspiREG3 ptr_mibspiREG3 - -ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: ENVIRO.END_UNIT_PREFIX_USER_CODE: ENVIRO.COVERAGE_TYPE: FUNCTION ENVIRO.WHITE_BOX: YES Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.tst =================================================================== diff -u -r477515fb4a6518b538fd218a1638ba2958e82d1c -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.tst (.../INT_ALARMMGMT.tst) (revision 477515fb4a6518b538fd218a1638ba2958e82d1c) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT.tst (.../INT_ALARMMGMT.tst) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -22,9 +22,15 @@ TEST.SUBPROGRAM:execBloodFlowController TEST.NEW TEST.NAME:activateAlarm2Data +TEST.IMPORT_FAILURES: +(E) @LINE: 26 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_SOFTWARE_FAULT]:0 + >>> Invalid array index value ALARM_ID_SOFTWARE_FAULT + >>> Command Ignored. +(E) @LINE: 27 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_SOFTWARE_FAULT]:1 + >>> Invalid array index value ALARM_ID_SOFTWARE_FAULT + >>> Command Ignored. +TEST.END_IMPORT_FAILURES: TEST.VALUE:BloodFlow.<>.bloodPumpState:NUM_OF_BLOOD_PUMP_STATES -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_SOFTWARE_FAULT]:0 -TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_SOFTWARE_FAULT]:1 TEST.END -- Subprogram: execBloodFlowMonitor @@ -50,18 +56,34 @@ TEST.SUBPROGRAM:checkTooManyBadMsgCRCs TEST.NEW TEST.NAME:activateAlarmNoData +TEST.IMPORT_FAILURES: +(E) @LINE: 56 TEST.VALUE:SystemComm.<>.badCRCTimeStamps[0]:100000 + >>> Unknown parameter/object name badCRCTimeStamps + >>> Value Line Error - Command Ignored +(E) @LINE: 57 TEST.VALUE:SystemComm.<>.badCRCTimeStamps[4]:0 + >>> Unknown parameter/object name badCRCTimeStamps + >>> Value Line Error - Command Ignored +(E) @LINE: 58 TEST.VALUE:SystemComm.<>.badCRCListIdx:4 + >>> Unknown parameter/object name badCRCListIdx + >>> Value Line Error - Command Ignored +(E) @LINE: 59 TEST.VALUE:SystemComm.<>.badCRCListCount:4 + >>> Unknown parameter/object name badCRCListCount + >>> Value Line Error - Command Ignored +(E) @LINE: 62 TEST.EXPECTED:SystemComm.<>.badCRCTimeStamps[4]:700000 + >>> Unknown parameter/object name badCRCTimeStamps + >>> Value Line Error - Command Ignored +(E) @LINE: 63 TEST.EXPECTED:SystemComm.<>.badCRCListIdx:0 + >>> Unknown parameter/object name badCRCListIdx + >>> Value Line Error - Command Ignored +(E) @LINE: 64 TEST.EXPECTED:SystemComm.<>.badCRCListCount:5 + >>> Unknown parameter/object name badCRCListCount + >>> Value Line Error - Command Ignored +TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:700000 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:600000 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_COMM_TOO_MANY_BAD_CRCS]:0 -TEST.VALUE:SystemComm.<>.badCRCTimeStamps[0]:100000 -TEST.VALUE:SystemComm.<>.badCRCTimeStamps[4]:0 -TEST.VALUE:SystemComm.<>.badCRCListIdx:4 -TEST.VALUE:SystemComm.<>.badCRCListCount:4 TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:100000 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_COMM_TOO_MANY_BAD_CRCS]:1 -TEST.EXPECTED:SystemComm.<>.badCRCTimeStamps[4]:700000 -TEST.EXPECTED:SystemComm.<>.badCRCListIdx:0 -TEST.EXPECTED:SystemComm.<>.badCRCListCount:5 TEST.END -- Unit: SystemCommMessages @@ -234,13 +256,20 @@ TEST.SUBPROGRAM:taskGeneral TEST.NEW TEST.NAME:execAlarmMgmt +TEST.IMPORT_FAILURES: +(E) @LINE: 238 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_SOFTWARE_FAULT]:1 + >>> Invalid array index value ALARM_ID_SOFTWARE_FAULT + >>> Command Ignored. +(E) @LINE: 243 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_SOFTWARE_FAULT + >>> Value for 'Enumeral' out of range + >>> Read "ALARM_ID_SOFTWARE_FAULT" + >>> Command Ignored +TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.addToCommBuffer.return:1 -TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.VALUE:SystemComm.<>.uiDidCommunicate:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH -TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_SOFTWARE_FAULT TEST.END -- Unit: sys_main Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT_cba.cvr =================================================================== diff -u -r6463655c18b173e335b6d475ac7289336f1bf092 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT_cba.cvr (.../INT_ALARMMGMT_cba.cvr) (revision 6463655c18b173e335b6d475ac7289336f1bf092) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_ALARMMGMT/INT_ALARMMGMT_cba.cvr (.../INT_ALARMMGMT_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,190 +1 @@ --- 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:BloodFlow.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: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:12 -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:13 -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 -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.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:sys_main.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_AlarmMgmt -RESULT.CBA.NOTES -Some functions not yet called. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Services/AlarmMgmt.c -RESULT.CBA.FUNCTION: getAlarmStartTime -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { U32 result = 0; if ( alarmID <= NUM_OF_ALARM_IDS-1 ) { if ( 0xCCC33C33 == alarmStartedAt[ alarmID ].override ) { result = alarmStartedAt[ alarmID ].ovData; } else { result = alarmStartedAt[ alarmID ].data; } } else { activateAlarmNoData( ALARM_ID_SOFTWARE_FAULT ); } return result; } -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: isAlarmActive -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BOOL result = alarmIsActive[ alarm ]; -return result; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: resetAlarmPriorityFIFO -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -// verify priority -if ( priority < NUM_OF_ALARM_PRIORITIES ) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.cfg =================================================================== diff -u -r941afbaab7fc86f40fa49f9d110d481f65b44b68 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.cfg (.../INT_BLOODFLOW.cfg) (revision 941afbaab7fc86f40fa49f9d110d481f65b44b68) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.cfg (.../INT_BLOODFLOW.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.env =================================================================== diff -u -r6a6c064bdab77b9b42d25910d94da55812d00ffa -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.env (.../INT_BLOODFLOW.env) (revision 6a6c064bdab77b9b42d25910d94da55812d00ffa) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW.env (.../INT_BLOODFLOW.env) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -24,8 +24,8 @@ #define etpwmREG1 ptr_pwmREG1 ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: - ENVIRO.UNIT_PREFIX_USER_CODE_FILE:Interrupts + #include "reg_het.h" hetBASE_t* ptr_hetREG1; #undef hetREG1 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW_cba.cvr =================================================================== diff -u -r6a6c064bdab77b9b42d25910d94da55812d00ffa -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW_cba.cvr (.../INT_BLOODFLOW_cba.cvr) (revision 6a6c064bdab77b9b42d25910d94da55812d00ffa) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_BLOODFLOW/INT_BLOODFLOW_cba.cvr (.../INT_BLOODFLOW_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,252 +1 @@ --- 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:BloodFlow.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: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:12 -IMPORT.SOURCE.ORIG_FILENAME:Interrupts.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: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 -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.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:TaskPriority.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:sys_main.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_BloodFlow -RESULT.CBA.NOTES -Some functions not yet called. -Self tests not yet implemented. -Private function coverage not required. - -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Controllers/BloodFlow.c -RESULT.CBA.FUNCTION: execBloodFlowTest -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -SELF_TEST_STATUS_T result = SELF_TEST_STATUS_FAILED; -// TODO - implement self test(s) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleBloodPumpControlToTargetState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BLOOD_PUMP_STATE_T result = BLOOD_PUMP_CONTROL_TO_TARGET_STATE; -// control at set interval -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleBloodPumpRampingDownState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BLOOD_PUMP_STATE_T result = BLOOD_PUMP_RAMPING_DOWN_STATE; -// have we essentially reached zero speed -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleBloodPumpRampingUpState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BLOOD_PUMP_STATE_T result = BLOOD_PUMP_RAMPING_UP_STATE; -// have we been asked to stop the blood pump? -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: homeBloodPump -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BOOL result = -0 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: signalBloodPumpHardStop -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -targetBloodFlowRate.data = 0; -stopBloodPump(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DGINTERFACE/INT_DGINTERFACE.cfg =================================================================== diff -u -r2c7f3051b3c8196687c738f24d406f2daaa9f2b3 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DGINTERFACE/INT_DGINTERFACE.cfg (.../INT_DGINTERFACE.cfg) (revision 2c7f3051b3c8196687c738f24d406f2daaa9f2b3) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DGINTERFACE/INT_DGINTERFACE.cfg (.../INT_DGINTERFACE.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DGINTERFACE/INT_DGINTERFACE_cba.cvr =================================================================== diff -u -r7c8ec681f8c5dc44674893b5c3924a6203f2c8d0 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DGINTERFACE/INT_DGINTERFACE_cba.cvr (.../INT_DGINTERFACE_cba.cvr) (revision 7c8ec681f8c5dc44674893b5c3924a6203f2c8d0) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DGINTERFACE/INT_DGINTERFACE_cba.cvr (.../INT_DGINTERFACE_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,315 +1 @@ --- 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: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:11 -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:12 -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:13 -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:14 -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_DGInterface -RESULT.CBA.NOTES -Some functions not yet called. -Some functions not fully implemented yet. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Controllers/DGInterface.c -RESULT.CBA.FUNCTION: cmdDGSampleWater -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgWaterSampled = -1 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdSetDGActiveReservoir -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -if ( resID < NUM_OF_DG_RESERVOIRS ) -{ -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdSetDGDialysateTargetTemps -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgPrimaryTempSet = primaryHtrTemp; -dgTrimmerTempSet = trimmerHtrTemp; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdStartDG -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgStarted = -1 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdStartDGDrain -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgReservoirDrainVolumeTargetSet = drainToVolMl; -sendDGDrainCommand( drainToVolMl ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdStartDGFill -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgReservoirFillVolumeTargetSet = fillToVolMl; -sendDGFillCommand( fillToVolMl ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdStartDGTrimmerHeater -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgTrimmerHeaterOn = -1 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdStopDG -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgStarted = -0 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: cmdStopDGTrimmerHeater -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgTrimmerHeaterOn = -0 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: execTreatmentReservoirMgmt -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DG_OP_MODE_T dgOpMode = getDGOpMode(); -U32 dgSubMode = getDGSubMode(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getDGDrainPumpRPMSetPt -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -U32 result = dgDrainPumpSpeedSetPtRPM; -return result; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getDGOpMode -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return dgCurrentOpMode; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getDGPressure -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -F32 result = 0.0; -if ( sensorID < NUM_OF_DG_PRESSURE_SENSORS ) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getDGROPumpFlowRateMlMin -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -F32 result = dgROPumpFlowRateMlMin; -return result; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getDGROPumpPressureSetPt -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -U32 result = dgROPumpPressureSetPtPSI; -return result; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getDGSubMode -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return dgSubMode; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: setDGDialysateTemperatures -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dgPrimaryTemp = primaryHtrTemp; -dgTrimmerTemp = trimmerHtrTemp; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALINFLOW/INT_DIALINFLOW.cfg =================================================================== diff -u -rd2faaae9f396a98c32594b139a8ee6d3f3a2763f -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALINFLOW/INT_DIALINFLOW.cfg (.../INT_DIALINFLOW.cfg) (revision d2faaae9f396a98c32594b139a8ee6d3f3a2763f) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALINFLOW/INT_DIALINFLOW.cfg (.../INT_DIALINFLOW.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALINFLOW/INT_DIALINFLOW_cba.cvr =================================================================== diff -u -rcf49e135dafd0f60c4c4dc7137c28148818411d3 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALINFLOW/INT_DIALINFLOW_cba.cvr (.../INT_DIALINFLOW_cba.cvr) (revision cf49e135dafd0f60c4c4dc7137c28148818411d3) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALINFLOW/INT_DIALINFLOW_cba.cvr (.../INT_DIALINFLOW_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,262 +1 @@ --- 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: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: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:12 -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:13 -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 -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.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:TaskPriority.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:sys_main.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_DialInFlow -RESULT.CBA.NOTES -Self tests not yet implemented. -Some functions not yet called. -Coverage for private functions not required. -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: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -SELF_TEST_STATUS_T result = SELF_TEST_STATUS_FAILED; -// TODO - implement self test(s) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleDialInPumpControlToTargetState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DIAL_IN_PUMP_STATE_T result = DIAL_IN_PUMP_CONTROL_TO_TARGET_STATE; -// control at set interval -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleDialInPumpRampingDownState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DIAL_IN_PUMP_STATE_T result = DIAL_IN_PUMP_RAMPING_DOWN_STATE; -// have we essentially reached zero speed -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleDialInPumpRampingUpState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DIAL_IN_PUMP_STATE_T result = DIAL_IN_PUMP_RAMPING_UP_STATE; -// have we been asked to stop the dialIn pump? -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: homeDialInPump -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BOOL result = -0 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: signalDialInPumpHardStop -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -targetDialInFlowRate.data = 0; -stopDialInPump(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: signalDialInPumpRotorHallSensor -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -U32 rotTime = getMSTimerCount(); -U32 deltaTime = calcTimeBetween( dipRotorRevStartTime, rotTime ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.cfg =================================================================== diff -u -rd25a48cdc5534778138d5a1782487e33d43238cf -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.cfg (.../INT_DIALOUTFLOW.cfg) (revision d25a48cdc5534778138d5a1782487e33d43238cf) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW.cfg (.../INT_DIALOUTFLOW.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW_cba.cvr =================================================================== diff -u -rcf49e135dafd0f60c4c4dc7137c28148818411d3 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW_cba.cvr (.../INT_DIALOUTFLOW_cba.cvr) (revision cf49e135dafd0f60c4c4dc7137c28148818411d3) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALOUTFLOW/INT_DIALOUTFLOW_cba.cvr (.../INT_DIALOUTFLOW_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,229 +1 @@ --- 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:DialOutFlow.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: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:12 -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:13 -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 -IMPORT.SOURCE.BEGIN -IMPORT.SOURCE.UNIT:14 -IMPORT.SOURCE.ORIG_FILENAME:TaskGeneral.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:TaskPriority.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:sys_main.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_DialOutFlow -RESULT.CBA.NOTES -Some functions not yet called. -Coverage for private functions not required. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Controllers/DialOutFlow.c -RESULT.CBA.FUNCTION: handleDialOutPumpControlToTargetState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DIAL_OUT_PUMP_STATE_T result = DIAL_OUT_PUMP_CONTROL_TO_TARGET_STATE; -// control at set interval -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: homeDialOutPump -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -BOOL result = -0 -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: signalDialOutPumpHardStop -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -lastGivenRate = 0; -stopDialOutPump(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: signalDialOutPumpRotorHallSensor -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -U32 rotTime = getMSTimerCount(); -U32 deltaTime = calcTimeBetween( dopRotorRevStartTime, rotTime ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.cfg =================================================================== diff -u -ra673b3fdaed36dc1e30bce51c8d90218cc96fccb -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.cfg (.../INT_DIALYSIS.cfg) (revision a673b3fdaed36dc1e30bce51c8d90218cc96fccb) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS.cfg (.../INT_DIALYSIS.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr =================================================================== diff -u -r448d9b2eba125f5e1d749a6ed588287ec22de9b9 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr (.../INT_DIALYSIS_cba.cvr) (revision 448d9b2eba125f5e1d749a6ed588287ec22de9b9) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_DIALYSIS/INT_DIALYSIS_cba.cvr (.../INT_DIALYSIS_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,193 +1 @@ --- 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: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:11 -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 -RESULT.CBA.BEGIN -RESULT.CBA.RESULT: CBA_Dialysis -RESULT.CBA.NOTES -Coverage for private functions not required. -Some functions not yet called. -Some functions not yet fully implemented. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Modes/Dialysis.c -RESULT.CBA.FUNCTION: handleDialysisSolutionInfusionState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DIALYSIS_STATE_T result = DIALYSIS_SOLUTION_INFUSION_STATE; -// TODO - -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleDialysisUltrafiltrationState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DIALYSIS_STATE_T result = DIALYSIS_UF_STATE; -switch ( currentUFState ) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleUFCompletedState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -UF_STATE_T result = UF_COMPLETED_STATE; -// calculate UF volumes and provide to dialysate outlet pump controller -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleUFOffState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -UF_STATE_T result = UF_OFF_STATE; -// calculate UF volumes and provide to dialysate outlet pump controller -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleUFPausedState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -UF_STATE_T result = UF_PAUSED_STATE; -// calculate UF volumes and provide to dialysate outlet pump controller -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleUFRunningState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -UF_STATE_T result = UF_RUNNING_STATE; -U32 newTime = getMSTimerCount(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleUFStartState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -UF_STATE_T result; -if ( maxUFVolumeML < 0.00000001 ) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: setFinalReservoirVolume -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DG_RESERVOIR_ID_T activeRes = getDGActiveReservoir(); -DG_RESERVOIR_ID_T inactiveRes; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: setStartReservoirVolume -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DG_RESERVOIR_ID_T activeRes = getDGActiveReservoir(); -DG_RESERVOIR_ID_T inactiveRes; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: signalReservoirsSwitched -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -DG_RESERVOIR_ID_T activeRes = getDGActiveReservoir(); -DG_RESERVOIR_ID_T inactiveRes = ( activeRes == DG_RESERVOIR_1 ? DG_RESERVOIR_2 : DG_RESERVOIR_1 ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: transitionToDialysis -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -// TODO - anything needed here? -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.cfg =================================================================== diff -u -r52ff06dd2dbffc091d5b62cfa52546b52b2a5815 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.cfg (.../INT_FPGA.cfg) (revision 52ff06dd2dbffc091d5b62cfa52546b52b2a5815) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.cfg (.../INT_FPGA.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.env =================================================================== diff -u -r448d9b2eba125f5e1d749a6ed588287ec22de9b9 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.env (.../INT_FPGA.env) (revision 448d9b2eba125f5e1d749a6ed588287ec22de9b9) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.env (.../INT_FPGA.env) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -47,8 +47,8 @@ #define etpwmREG3 ptr_pwmREG3 ENVIRO.END_UNIT_PREFIX_USER_CODE_FILE: - ENVIRO.UNIT_PREFIX_USER_CODE_FILE:Interrupts + #include "reg_can.h" #include "reg_sci.h" #include "reg_lin.h" Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.tst =================================================================== diff -u -r448d9b2eba125f5e1d749a6ed588287ec22de9b9 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.tst (.../INT_FPGA.tst) (revision 448d9b2eba125f5e1d749a6ed588287ec22de9b9) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA.tst (.../INT_FPGA.tst) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -162,14 +162,14 @@ TEST.VALUE:DialOutFlow.<>.ptr_pwmREG3:<> TEST.VALUE:FPGA.<>.fpgaHeader.fpgaId:1 TEST.VALUE:FPGA.<>.fpgaHeader.fpgaRev:1 +TEST.VALUE:FPGA.<>.fpgaHeader.fpgaRevMajor:1 +TEST.VALUE:FPGA.<>.fpgaHeader.fpgaRevLab:1 TEST.VALUE:FPGA.<>.fpgaHeader.fpgaStatus:1 TEST.VALUE:FPGA.<>.fpgaHeader.fpgaDiag:1 TEST.VALUE:FPGA.<>.fpgaHeader.adc1Control:1 TEST.VALUE:FPGA.<>.fpgaHeader.flowDAQ1Cmd:1 TEST.VALUE:FPGA.<>.fpgaHeader.flowDAQ2Cmd:1 TEST.VALUE:FPGA.<>.fpgaHeader.accelCmd:1 -TEST.VALUE:FPGA.<>.fpgaHeader.fpgaRevMajor:1 -TEST.VALUE:FPGA.<>.fpgaHeader.fpgaRevLab:1 TEST.VALUE:FPGA.<>.fpgaHeader.fpgaSensorTest:1 TEST.VALUE:FPGA.<>.fpgaHeader.fpgaPIDControl:1 TEST.VALUE:FPGA.<>.fpgaSensorReadings.bloodFlowLast:1.0 @@ -178,14 +178,14 @@ TEST.VALUE:FPGA.<>.fpgaSensorReadings.dialysateFlowMeterDeviceStatus:1 TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaId:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaRev:0 +TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaRevMajor:0 +TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaRevLab:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaStatus:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaDiag:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.adc1Control:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.flowDAQ1Cmd:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.flowDAQ2Cmd:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.accelCmd:0 -TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaRevMajor:0 -TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaRevLab:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaSensorTest:0 TEST.EXPECTED:FPGA.<>.fpgaHeader.fpgaPIDControl:0 TEST.EXPECTED:FPGA.<>.fpgaSensorReadings.bloodFlowLast:0.0 Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA_cba.cvr =================================================================== diff -u -r448d9b2eba125f5e1d749a6ed588287ec22de9b9 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA_cba.cvr (.../INT_FPGA_cba.cvr) (revision 448d9b2eba125f5e1d749a6ed588287ec22de9b9) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_FPGA/INT_FPGA_cba.cvr (.../INT_FPGA_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,364 +1 @@ --- 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:BloodFlow.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:DialInFlow.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:DialOutFlow.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:PresOccl.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:FPGA.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:Interrupts.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:TaskPriority.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:sys_main.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_FPGA -RESULT.CBA.NOTES -Coverage not required for private functions. -Some functions not yet called. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Services/FPGA.c -RESULT.CBA.FUNCTION: getFPGABloodFlowSignalStrength -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return fpgaSensorReadings.bloodFlowSignalStrength; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getFPGABloodPumpHallSensorStatus -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return fpgaSensorReadings.bloodPumpHallSensorStatus; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getFPGADialInPumpHallSensorStatus -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return fpgaSensorReadings.dialInPumpHallSensorStatus; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getFPGADialOutPumpHallSensorStatus -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return fpgaSensorReadings.dialOutPumpSensorStatus; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getFPGADialysateFlowSignalStrength -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return fpgaSensorReadings.dialysateFlowSignalStrength; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: getFPGAStatus -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -return fpgaHeader.fpgaStatus; -} -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleFPGAReceiveAllSensorsState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -FPGA_STATE_T result = FPGA_STATE_WRITE_ALL_ACTUATORS; -// check bulk write command success -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleFPGAReceiveHeaderState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -FPGA_STATE_T result = FPGA_STATE_READ_HEADER; -// did we get an FPGA response? -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleFPGAWriteAllActuatorsState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -FPGA_STATE_T result = FPGA_STATE_RCV_ALL_SENSORS; -U16 crc; -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: setupDMAForWriteCmd -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -// verify # of bytes does not exceed buffer length -if ( bytes2Transmit <= (256 +8) ) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: setupDMAForWriteResp -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -// verify # of bytes does not exceed buffer length -if ( bytes2Receive <= 8 ) -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: startDMAReceiptOfWriteResp -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dmaSetCtrlPacket( DMA_CH0, fpgaDMAWriteRespControlRecord ); -dmaSetChEnable( DMA_CH0, DMA_HW ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: startDMAWriteCmd -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -dmaSetCtrlPacket( DMA_CH2, fpgaDMAWriteControlRecord ); -dmaSetChEnable( DMA_CH2, DMA_HW ); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_MODETREATMENT/INT_MODETREATMENT.cfg =================================================================== diff -u -r03470d87fbf22b8c94ce6018533d6ed2b03f0500 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_MODETREATMENT/INT_MODETREATMENT.cfg (.../INT_MODETREATMENT.cfg) (revision 03470d87fbf22b8c94ce6018533d6ed2b03f0500) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_MODETREATMENT/INT_MODETREATMENT.cfg (.../INT_MODETREATMENT.cfg) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1 +1,2 @@ +C_LINK_OPTIONS: -lm +C_EDG_FLAGS: -w --gcc --gnu_version 60300 --mingw --define_macro='_Float128=float' Index: vectorcast/Hercules_RM46_HD_Project/environment/INT_MODETREATMENT/INT_MODETREATMENT_cba.cvr =================================================================== diff -u -r51147222d369a3023a11b2ee675178d058ffaf46 -re4a8962f0ffe2b1503420feb1403a46cec23e9af --- vectorcast/Hercules_RM46_HD_Project/environment/INT_MODETREATMENT/INT_MODETREATMENT_cba.cvr (.../INT_MODETREATMENT_cba.cvr) (revision 51147222d369a3023a11b2ee675178d058ffaf46) +++ vectorcast/Hercules_RM46_HD_Project/environment/INT_MODETREATMENT/INT_MODETREATMENT_cba.cvr (.../INT_MODETREATMENT_cba.cvr) (revision e4a8962f0ffe2b1503420feb1403a46cec23e9af) @@ -1,141 +1 @@ --- 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: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:11 -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:12 -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:13 -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_ModeTreatment -RESULT.CBA.NOTES -Coverage for private functions not required. -RESULT.CBA.NOTES_END -RESULT.CBA.UNIT: /home/fw/wshd/hdfirmware/firmware/App/Modes/ModeTreatment.c -RESULT.CBA.FUNCTION: handleTreatmentDialysisState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -TREATMENT_STATE_T result = TREATMENT_DIALYSIS_STATE; -U32 newTime = getMSTimerCount(); -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.FUNCTION: handleTreatmentStopState -RESULT.CBA.LINE.BEGIN -RESULT.CBA.LINE: 0 -RESULT.CBA.COVERAGE: FN -RESULT.CBA.CONTEXT: { -RESULT.CBA.CONTEXT_AFTER: -TREATMENT_STATE_T result = TREATMENT_STOP_STATE; -// execute state machine for treatment stop sub-mode -RESULT.CBA.CONTEXT_AFTER_END -RESULT.CBA.MATCHING_LINE_INDEX: 1 -RESULT.CBA.LINE.END -RESULT.CBA.END -IMPORT.END