Commit 24bc286d authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[debie1] improve parametrization

parent 2ce767b5
Pipeline #36030 passed with stage
in 63 minutes and 49 seconds
......@@ -25,8 +25,11 @@ FCFLAGS += \
EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-eva-domains equality \
-eva-auto-loop-unroll 170 \
-eva-ilevel 16 \
-eva-auto-loop-unroll 128 \
-eva-slevel 11 \
# -eva-slevel 10 seems insufficient to remove the 5th alarm
# -eva-auto-loop-unroll is also necessary to avoid a 5th alarm
## GUI-only flags
FCGUIFLAGS += \
......
directory file line function property kind status property
code tc_hand.c 1037 UpdateTarget initialization Unknown \initialized(&SU_setting.execution_result)
code telem.c 133 TM_InterruptService ptr_comparison Unknown \pointer_comparable((void *)telemetry_pointer, (void *)(&telemetry_data.time))
code telem.c 313 IncrementCounters index_bound Unknown sensor_unit < 4
code/harness harness.c 1020 Start_Conversion index_bound Unknown channel < 0x28
code/harness harness.c 3338 Acquisition_Tests signed_overflow Unknown octets + 2 ≤ 2147483647
......@@ -14,7 +14,7 @@ Initializer of hit_task references HitTriggerTask (at code/measure.c:544)
Initializer of TC_task references TelecommandExecutionTask (at code/tc_hand.c:1596)
[metrics] Statements analyzed by Eva
--------------------------
2974 stmts in analyzed functions, 2926 stmts analyzed (98.4%)
2974 stmts in analyzed functions, 2930 stmts analyzed (98.5%)
Acquire_Hit: 4 stmts out of 4 (100.0%)
Acquisition_Tests: 132 stmts out of 132 (100.0%)
AttachInterrupt: 1 stmts out of 1 (100.0%)
......@@ -49,6 +49,7 @@ Event_Flag: 1 stmts out of 1 (100.0%)
ExceedsLimit: 7 stmts out of 7 (100.0%)
Exec_TC: 3 stmts out of 3 (100.0%)
ExecuteChannelTest: 61 stmts out of 61 (100.0%)
ExecuteCommand: 81 stmts out of 81 (100.0%)
Fail_Check: 2 stmts out of 2 (100.0%)
FindMinQualityRecord: 19 stmts out of 19 (100.0%)
FlushMail: 2 stmts out of 2 (100.0%)
......@@ -86,6 +87,7 @@ Init_SU_Settings: 14 stmts out of 14 (100.0%)
LowVoltageCurrent: 12 stmts out of 12 (100.0%)
MeasureTemperature: 22 stmts out of 22 (100.0%)
MeasureVoltage: 27 stmts out of 27 (100.0%)
MemoryPatch: 42 stmts out of 42 (100.0%)
Monitor: 49 stmts out of 49 (100.0%)
Monitor_DPU_Voltage: 13 stmts out of 13 (100.0%)
Monitor_Health: 6 stmts out of 6 (100.0%)
......@@ -149,7 +151,6 @@ SignalMemoryErrors: 11 stmts out of 11 (100.0%)
SignalPeakDetectorReset: 1 stmts out of 1 (100.0%)
Sim_Self_Test_Trigger: 7 stmts out of 7 (100.0%)
Start_Conversion: 24 stmts out of 24 (100.0%)
Start_SU_SwitchingOn: 8 stmts out of 8 (100.0%)
Switch_SU_State: 14 stmts out of 14 (100.0%)
TC_ISR_Tests: 51 stmts out of 51 (100.0%)
TC_Interrupt: 2 stmts out of 2 (100.0%)
......@@ -173,21 +174,20 @@ WaitInterrupt: 1 stmts out of 1 (100.0%)
WaitInterval: 1 stmts out of 1 (100.0%)
WaitMail: 9 stmts out of 9 (100.0%)
WaitTimeout: 1 stmts out of 1 (100.0%)
WriteMemory: 18 stmts out of 18 (100.0%)
Write_TM_LSB: 2 stmts out of 2 (100.0%)
Write_TM_MSB: 2 stmts out of 2 (100.0%)
isr_send_message: 3 stmts out of 3 (100.0%)
ClassifyEvent: 59 stmts out of 60 (98.3%)
HandleAcquisition: 58 stmts out of 59 (98.3%)
TM_Tests: 51 stmts out of 52 (98.1%)
MemoryPatch: 41 stmts out of 42 (97.6%)
ExecuteCommand: 78 stmts out of 81 (96.3%)
HandleAcquisition: 57 stmts out of 59 (96.6%)
StartSystem: 19 stmts out of 20 (95.0%)
TC_InterruptService: 117 stmts out of 126 (92.9%)
TM_InterruptService: 25 stmts out of 27 (92.6%)
SetTriggerLevel: 29 stmts out of 32 (90.6%)
Switch_SU_Off: 16 stmts out of 18 (88.9%)
Switch_SU_On: 16 stmts out of 18 (88.9%)
WriteMemory: 16 stmts out of 18 (88.9%)
Start_SU_SwitchingOn: 7 stmts out of 8 (87.5%)
Check_Current: 13 stmts out of 15 (86.7%)
PatchExecCommandOk: 5 stmts out of 6 (83.3%)
CreateTask: 8 stmts out of 10 (80.0%)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment