We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4b76591 commit 44aacfaCopy full SHA for 44aacfa
tools/gnatcov/coverage-source.adb
@@ -1194,6 +1194,8 @@ package body Coverage.Source is
1194
return To_String (Msg & No_Pair_Msg);
1195
end Emit_Evaluation_Vector_Message;
1196
1197
+ -- Start of processing for Compute_MCDC_State
1198
+
1199
begin
1200
for Cur of SCI.Evaluations loop
1201
Eval_Cond_Set_Map.Include (Cur, new Condition_Set.Set);
@@ -1355,6 +1357,8 @@ package body Coverage.Source is
1355
1357
1356
1358
Condition_Evaluated : Condition_Evaluated_Array := (others => False);
1359
1360
+ -- Start of processing for Compute_ATCC_State
1361
1362
1363
1364
-- Record if a condition has been evaluated during the overall
0 commit comments