Skip to content

Commit 86df0f9

Browse files
Anthony Leonardo GracioAnthonyLeonardoGracio
authored andcommitted
V429-025: Restore default coverage level on cmd line
This is needed when .gpr files don't specify explicitly their expected coverage level in the Coverage package. Change-Id: Ide2f7cca4e07b47c6b433e69976ea3e913cc1a6f
1 parent 4eec95f commit 86df0f9

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

share/support/ui/gnatcov.py

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -372,9 +372,12 @@ class GNATcovPlugin(Module):
372372
X('arg').children('-P%PP'),
373373
X('arg').children('--recursive'),
374374
X('arg').children('%target'),
375+
X('arg').children('-c'),
376+
X('arg').children("%attr(ide_coverage'level_coverage,stmt)"),
375377
X('arg').children('-o'),
376378
X('arg').children('%O%T.trace'),
377379
X('arg').children('%E'),
380+
X('arg').children("%attr(ide_coverage'switches_run)"),
378381
X('arg').children('%X'),
379382
),
380383
),
@@ -396,10 +399,13 @@ class GNATcovPlugin(Module):
396399
X('arg').children('-P%PP'),
397400
X('arg').children('--recursive'),
398401
X('arg').children('%target'),
402+
X('arg').children('-c'),
403+
X('arg').children("%attr(ide_coverage'level_coverage,stmt)"),
399404
X('arg').children('--annotate=xcov+'),
400405
X('arg').children('--output-dir=%O'),
401406
X('arg').children('-T'),
402407
X('arg').children('%O%T.trace'),
408+
X('arg').children("%attr(ide_coverage'switches_coverage)"),
403409
X('arg').children('%X'),
404410
),
405411
),
@@ -422,6 +428,8 @@ class GNATcovPlugin(Module):
422428
X('arg').children('instrument'),
423429
X('arg').children('-P%PP'),
424430
X('arg').children('%subdirsarg'),
431+
X('arg').children('--level'),
432+
X('arg').children("%attr(ide_coverage'level_run,stmt)"),
425433
X('arg').children(
426434
'%python' +
427435
'(gnatcov.GNATcovPlugin.' +
@@ -547,10 +555,13 @@ class GNATcovPlugin(Module):
547555
X('arg').children('-P%PP'),
548556
X('arg').children('%subdirsarg'),
549557
X('arg').children('%target'),
558+
X('arg').children('-c'),
559+
X('arg').children("%attr(ide_coverage'level_coverage,stmt)"),
550560
X('arg').children('--annotate=xcov+'),
551561
X('arg').children('--output-dir=%O'),
552562
X('arg').children('-T'),
553563
X('arg').children('%O%T.srctrace'),
564+
X('arg').children("%attr(ide_coverage'switches_coverage)"),
554565
X('arg').children('%X'),
555566
),
556567

0 commit comments

Comments
 (0)