ada/gnatcoverage
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
edge
gnatcoverage/testsuite/tests
History
Pierre-Marie de Rodat b37901aedd sc_obligations.adb: make fingerprints insensitive to line number changes 
This allows passing to `gnatcov coverage` traces produced before the
addition of exemption annotations (or gnatcov-unrelated annotation) to
source code.

This commit also adapts `320-varying-scos` tests so that SCOS that are
supposed to be distinct get different column numbers, in order to
correctly exercise the "SCO fingerprint mismatch" behavior.
2026-02-11 12:57:43 +00:00
..
14-unused-separate
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
15-non-instr-cons
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
16-check-html
Run black on all Python sources
2024-02-27 13:40:05 +00:00
24_mixed_c_c++
Kill tests in bin-traces mode when they compute C++ coverage
2025-07-22 08:23:58 +00:00
86-subproj_lang
Testsuite: simplify SCOV.minicheck.check_xcov_reports
2024-02-19 14:23:47 +00:00
92-long_slugs
92-long_slugs: update now that report use original sources casing
2025-04-23 15:48:38 +00:00
97-quant_expr_in_decl
Testsuite: fix mismatches between main filenames and unit names
2025-02-04 16:00:22 +00:00
98-quant_expr_nested
Testsuite: fix mismatches between main filenames and unit names
2025-02-04 16:00:22 +00:00
104-pragma-directives
Run clang-format on all C/C++ sources
2024-02-27 13:40:05 +00:00
106-externally-built-header
106-externally-built-header: remove obsolete XFAIL
2025-07-24 13:47:46 +00:00
124-no-trace
Generate a report with only violations when no traces are specified
2025-08-22 12:13:51 +02:00
127-check-line-endings
Run black on all Python sources
2024-02-27 13:40:05 +00:00
129-instr-progress
129-instr-progress: adapt for cross targets
2025-07-22 08:32:47 +00:00
131-hidden-bool-exprfunc
Testsuite: fix mismatches between main filenames and unit names
2025-02-04 16:00:22 +00:00
138-ada-preprocessing
138-ada-preprocessing/prep_data: fix preprocessor directives syntax
2024-11-25 16:03:55 +00:00
147-slug_collision
Instrument.adb: Disambiguate hash-based slugs for Ada units
2023-11-06 15:51:19 +01:00
152-shared_setup
Run black on all Python sources
2024-02-27 13:40:05 +00:00
185-setup-warnings
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
199-setup-summary
Setup: display a summary of the environment updates for users
2024-06-07 14:43:04 +00:00
207-srctrace-version
Revert "Merge branch 'eyraud/429' into 'master'"
2025-09-10 10:41:55 +02:00
213-sarif-report
Testsuite: fix projects so that all units are compiled
2026-01-21 20:43:35 +00:00
222-scope-expr-func
Instrument: never index source files by simple name
2025-10-22 09:27:18 +00:00
222-subp-line-computation
Instrument: never index source files by simple name
2025-10-22 09:27:18 +00:00
222-subp-of-interest-cplx
Instrument: never index source files by simple name
2025-10-22 09:27:18 +00:00
255-warnings-as-errors
Transition uses of GNATCOLL.Projects to GPR2
2025-04-15 12:28:50 +00:00
280-incompatible-srctrace-formats
Display srctrace format versions on incompatibility error
2024-05-21 09:10:32 +00:00
281_aggr_reject
Reject non-library aggregate project files
2024-07-31 14:17:34 +00:00
285-violations-display
Fix XML report production for non-UTF-8 source code
2024-11-19 16:21:56 +00:00
292-rts-syms
Kill test for eng/das/cov/gnatcoverage#292 in various configurations
2024-05-06 10:05:02 +02:00
300-no-sco-msg
Various testsuite fixes related to non-coverage decision SCOs
2024-08-29 15:29:32 +02:00
300-non-cov-decision
Various testsuite fixes related to non-coverage decision SCOs
2024-08-29 15:29:32 +02:00
308-print-gpr-registry
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
320-varying-scos
sc_obligations.adb: make fingerprints insensitive to line number changes
2026-02-11 12:57:43 +00:00
334-unexpected-exemption
Reset exemption counters between each report generation
2024-09-27 10:26:44 +00:00
345-live-observability
test(345-live-observability): Adapt test to actual usecase
2025-04-28 17:25:11 +02:00
354-source-encoding
Instrument: fix the handling of non-Latin-1 Ada sources
2026-01-15 14:53:01 +00:00
361-overriden-runtime-specs
issue-361: Fix test for src mode in embedded runtimes
2025-01-13 10:28:11 +00:00
385-same_pkg_different_files
tests: Ensure that conflicting packages outside of closure are not problematic
2025-09-08 10:26:15 +00:00
393-casing_crash
tests/393-casing_crash: XFail
2025-09-18 16:06:25 +02:00
414-sid-cons-static-cond-diff
SC_Obligations.Condition: subscript to the correct SCO vector
2025-04-25 12:43:27 +00:00
431-origin-prj-stub
Use the actual project designated by Origin_Project when loading switches
2025-06-25 12:19:54 +00:00
455-sco-annotations
sc_obligations.adb: make fingerprints insensitive to line number changes
2026-02-11 12:57:43 +00:00
474-sizeof
instrument-c.adb: ignore decisions in sizeof expressions
2025-10-23 15:27:30 +00:00
496-ada-closures
Instrument the same set of Ada sources that GPRbuild will compile
2026-01-21 20:43:35 +00:00
518-instr-wrong-objdir
Instrument: fix output dir. for instr sources of multi-project units
2026-01-28 09:25:08 +00:00
716-static-dc-ckpt
716-static-decision-merging-in-ckpt: shorten name for Windows
2026-02-02 08:13:44 +00:00
Ada
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
Ada2012
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
Ada2022
Ada 2022: add support for contracts in access-to-subp types
2026-02-02 21:20:17 +00:00
asm-consolidate
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
branch-cond
branch-cond/IB13-014-const-instances: remove obsolete tests
2025-07-23 08:00:54 +00:00
build_run-assert-failure
Run black on all Python sources
2024-02-27 13:40:05 +00:00
C
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
C++
tests: Add tests for try-catch blocks
2025-11-28 13:37:41 +00:00
cobertura_validation
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
Disassemblers
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
duplicate_postprocess
Fix debug print when running subprocesses
2023-08-22 08:54:42 +00:00
excluded_unit_imported_prj
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
exemptions-check
Run black on all Python sources
2024-02-27 13:40:05 +00:00
ext_annotations
Fix tests failing in GPR mode with binary traces
2026-01-19 14:40:55 +00:00
extract-base64-trace-errors
test(extract-base64-trace): Check good behavior upon error
2025-03-13 15:03:22 +01:00
FullRuntime
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
gnatcoll-core#48-wrong-objdir
Check that gnatcov generates instrumented files in the right obj dir
2024-04-15 13:34:01 +00:00
gnatX
Check support for expression defaults for generic formal functions
2026-02-02 21:07:16 +00:00
gpr-scos
Run black on all Python sources
2024-02-27 13:40:05 +00:00
HA16-013_cleanups
Instrument: implement block instrumentation
2024-07-29 13:00:17 +00:00
header_not_found
Run clang-format on all C/C++ sources
2024-02-27 13:40:05 +00:00
homonym-units-of-interest
Run black on all Python sources
2024-02-27 13:40:05 +00:00
HomonymSymbols
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I401-009
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I427-029
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I505-018
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I511-019-response-files
tests: Kill tests that use bin-traces features in src-traces
2025-03-05 16:28:36 +00:00
I512-020
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I519-015
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I519-030
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I522-010
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I715-012
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I716-009
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I716-021
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I717-018
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I812-011
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I914-023
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-bt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-bt-x2
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-ft-x2
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-npg-bt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-npg-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-npg-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-nt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-tb
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-tb-x2
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beq-tk-x2
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beqlr-bt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beqlr-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beqlr-tb
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-ppc-beqlr-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-a-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-a-npg-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-a-npg-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-a-nt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-a-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-bt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-npg-bt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-npg-ft
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-npg-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-nt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-be-tk
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-009-sparc-cross-boundary
Run black on all Python sources
2024-02-27 13:40:05 +00:00
I930-019
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA01-015
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA06-008-override-exec
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA06-009-offset-from-sym
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA09-021-unit-nosco
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA13-015-loop-body
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA16-028-disp-routines
tests: Kill tests that use bin-traces features in src-traces
2025-03-05 16:28:36 +00:00
IA19-009-no-useless-srcs
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA21-003-simple-decision-sco
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
IA21-009-nested-scos
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
IA22-004-same-basename
Add explicit warning tolerance to tests
2025-04-02 09:01:07 +00:00
IA29-020-basic-checks
Run black on all Python sources
2024-02-27 13:40:05 +00:00
IA29-023-source-search
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
ignored-c-file
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
ignored-c-header
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
ignored-casing
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
instr-cov
test(cpp-funcall): Add tests for ctors call instrumentation
2026-02-06 12:47:56 +01:00
integrated_instrumentation
Update test baselines after recent GPR2 error messages improvements
2026-02-02 21:07:16 +00:00
J618-019-disa-x86
Run black on all Python sources
2024-02-27 13:40:05 +00:00
J723-017-empty-debug-info
Run black on all Python sources
2024-02-27 13:40:05 +00:00
JC09-015-set-file
Run black on all Python sources
2024-02-27 13:40:05 +00:00
K214-014-gc-sections
Run black on all Python sources
2024-02-27 13:40:05 +00:00
K317-011_raven-textio
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
K804-031_raise-taken
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
KB30-011-eargs-gnatemu
Run black on all Python sources
2024-02-27 13:40:05 +00:00
KC06-023-list_as_ali
tests: Kill tests that use bin-traces features in src-traces
2025-03-05 16:28:36 +00:00
KC23-012-ocov-exemptions
Run black on all Python sources
2024-02-27 13:40:05 +00:00
L112-050-pro-through-disabled
Run black on all Python sources
2024-02-27 13:40:05 +00:00
L209-010-asm-outfile
Run black on all Python sources
2024-02-27 13:40:05 +00:00
L411-031_missing_gnateS
Run black on all Python sources
2024-02-27 13:40:05 +00:00
L613-012
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
L619-040-output-to-objdir
Run black on all Python sources
2024-02-27 13:40:05 +00:00
L707-006-src-in-cwd
Run black on all Python sources
2024-02-27 13:40:05 +00:00
L929-006
Add explicit warning tolerance to tests
2025-04-02 09:01:07 +00:00
LA17-032-scan-decisions
Run black on all Python sources
2024-02-27 13:40:05 +00:00
LA23-016_eargs-exe
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
LB13-031-post-aspect
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
LB15-031-split-PPC-aspect
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
LibExp
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
limits/Ada/mcdc/Andthen
Instrument the same set of Ada sources that GPRbuild will compile
2026-01-21 20:43:35 +00:00
llvm
tests: add rust test for statement coverage over if expr
2025-07-25 13:43:10 +00:00
M204-037-dc-in-aggregate
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
M502-040-default-prj-path
Run black on all Python sources
2024-02-27 13:40:05 +00:00
M513-017
Run black on all Python sources
2024-02-27 13:40:05 +00:00
M514-031-multiple-stmts-lines
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
M515-018
Run black on all Python sources
2024-02-27 13:40:05 +00:00
M516-014-direct-bool-operators
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
M528-002-transient-finalize
M528-002-transient-finalize/alternate: cope with return copy elision
2024-10-23 10:43:38 +00:00
M625-011-GPR-Cunits
Run black on all Python sources
2024-02-27 13:40:05 +00:00
M716-023-constant-conditions
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
M724-035-eh-warnings
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
M726-018-trace-exec-check
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
MA08-031
Run black on all Python sources
2024-02-27 13:40:05 +00:00
MB05-039-not-coverable
Fix tests failing in GPR mode with binary traces
2026-01-19 14:40:55 +00:00
MB15-040-if-cst
Rework tests for inhibited code in source traces mode
2025-08-19 14:54:27 +00:00
MB15-041-verbose-open-crc32
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
MB19-016-subprogram-less-code
Run black on all Python sources
2024-02-27 13:40:05 +00:00
MC05-011-ref-executable
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N106-020-tempfiles
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
N107-020-dhtml
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N107-029-crc32-validity
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N129-008-c-constant-conditions
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
N203-040-same-c-basename
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N204-011-precond-aspects
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
N321-039-disas-wrapping
N321-039-disas-wrapping: fix ASM code to avoid gnatcov warnings
2025-07-24 14:18:32 +00:00
N321-045-ppc-disas-large-input
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N411-046-asm-consolidation
N411-046-asm-consolidation: make it work for all platforms
2025-07-22 09:14:51 +00:00
N423-015-exempt-in-separate
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
N429-018-c-assert
N429-018-c-assert/ToMultiStmts: adapt for cross targets
2025-07-22 09:14:51 +00:00
N429-018-c-tern-folding
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N429-018-c-void-ternary
N429-018-c-void-ternary: Fix implicit function declaration
2025-01-15 16:19:26 +01:00
N429-020-loop-on-line
N429-020-loop-on-line: adapt for cross targets
2025-07-22 09:14:51 +00:00
N429-020-loop-on-line-ada
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N430-005-c-static-inline
Revert "Merge branch 'eyraud/429' into 'master'"
2025-09-10 10:41:55 +02:00
N505-008-c99-main-return
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N505-026-multstmtln-nocode
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
N506-014-crash-on-padding-nop
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N513-004-dom-info-c-tern
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
N521-029-dc-dynstack-twoways
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
N610-006-library
Run black on all Python sources
2024-02-27 13:40:05 +00:00
N630-009-forward_p_x
Run black on all Python sources
2024-02-27 13:40:05 +00:00
NA29-019-unit-filters-for-C
Run black on all Python sources
2024-02-27 13:40:05 +00:00
NB07-026-header-shadow
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
NC02-014-gpr-X
Run black on all Python sources
2024-02-27 13:40:05 +00:00
NC08-027-target_attr
Run black on all Python sources
2024-02-27 13:40:05 +00:00
O212-062-assertions
Testsuite: fix projects so that all units are compiled
2026-01-21 20:43:35 +00:00
O212-062-show-condition-vectors
Run black on all Python sources
2024-02-27 13:40:05 +00:00
O212-062-xml
tests: Adapt testsuite to check that XML reports use full path of source files
2025-02-05 10:33:03 +00:00
O302-015-src-path-in-project
O302-015-src-path-in-project: improve logging
2025-03-27 14:06:56 +00:00
O529-021-wrong-elf-class
tests: Kill tests that use bin-traces features in src-traces
2025-03-05 16:28:36 +00:00
O916-035-padding-cons
Run black on all Python sources
2024-02-27 13:40:05 +00:00
OA16-009-exec-prefix
Run black on all Python sources
2024-02-27 13:40:05 +00:00
OA16-009-windows-suffix
OA16-009-windows-suffix: adapt for cross targets
2025-07-22 09:14:51 +00:00
OA27-059-inlined-separate-cons
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
OA27-059-sep-cons-prj
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
OA27-059-sep-cons-prj-override
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
OA27-059-separate-consolidation
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
OB23-036
tests: Kill tests that use bin-traces features in src-traces
2025-03-05 16:28:36 +00:00
OB26-040-type-invariants
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
P505-032-path-spaces
Run black on all Python sources
2024-02-27 13:40:05 +00:00
P526-035-origin-project
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
P614-002-incidental-coverage
Testsuite: do not enable GPR mode automatically with source traces
2026-01-26 10:26:01 +00:00
P622-010-stack-restore
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
P907-005-ckpt-covlevel
Run black on all Python sources
2024-02-27 13:40:05 +00:00
P907-005-incremental
Run black on all Python sources
2024-02-27 13:40:05 +00:00
P907-005-stubbing
Run black on all Python sources
2024-02-27 13:40:05 +00:00
P907-005-stubbing-generic
Run black on all Python sources
2024-02-27 13:40:05 +00:00
P913-011-invalid-project
Update test baselines after recent GPR2 error messages improvements
2026-02-02 21:07:16 +00:00
PA25-046-inlined-in-decision
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
PC09-022-auto-exename
Run black on all Python sources
2024-02-27 13:40:05 +00:00
PC23-018-missing-report-for-empty-unit
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
projects-option-at-argument
Implement '@LISTFILE' for --projects
2025-10-31 16:56:51 +00:00
Q224-032-several-out-of-line
Q224-032-several-out-of-line: adapt for cross targets
2025-07-22 08:23:58 +00:00
Q308-041-crash-on-generic-in-lib
Q308-041-crash-on-generic-in-lib: adapt for cross targets
2025-07-22 09:14:51 +00:00
Q327-016-glob-ignore
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
Q329-018-create-output-dir
Only log output dir creation when not quiet
2024-03-07 13:10:02 +00:00
Q414-016-task-accept
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
Q519-013-decision-map
Run black on all Python sources
2024-02-27 13:40:05 +00:00
Q614-037-ckpt-pkg-renames
Run black on all Python sources
2024-02-27 13:40:05 +00:00
Q901-012-report-title
Run black on all Python sources
2024-02-27 13:40:05 +00:00
Q905-005-compressed
Run black on all Python sources
2024-02-27 13:40:05 +00:00
QA23-039-nocode-pragmas
Run black on all Python sources
2024-02-27 13:40:05 +00:00
QA27-024-prepare-target
Run black on all Python sources
2024-02-27 13:40:05 +00:00
QB14-023-stack-overflow
tests: Kill tests that use bin-traces features in src-traces
2025-03-05 16:28:36 +00:00
QC29-006-index
Testsuite: fix projects so that all units are compiled
2026-01-21 20:43:35 +00:00
R404-023-object-stats
Add tolerated coverage message
2025-03-27 10:47:58 +00:00
R417-010-scope-metrics
Merge branch 'eyraud/320' into 'master'
2025-08-29 10:07:28 +02:00
R507-014-trailing-byte-insn
R507-014-trailing-byte-insn: adapt to work in src-traces mode
2025-07-22 09:17:11 +00:00
R507-027-xml-summary
tests: Adapt testsuite to check that XML reports use full path of source files
2025-02-05 10:33:03 +00:00
R807-027-symbol-order
Run black on all Python sources
2024-02-27 13:40:05 +00:00
Ravenscar
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
RB13-019-win-paths
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
RB16-008-gpr-tool
Run black on all Python sources
2024-02-27 13:40:05 +00:00
RC04-030-bad-trace
traces_files: Make --keep-reading-traces raise a warning instead of error
2025-03-24 15:46:23 +01:00
relocate-build-tree
Make it possible to pass --relocate-build-tree without an explicit dir
2026-02-06 13:33:55 +00:00
S213-006-obligation-stats
Run black on all Python sources
2024-02-27 13:40:05 +00:00
S218-011-time-option
Run black on all Python sources
2024-02-27 13:40:05 +00:00
S220-058-auto-scos-fetch
Run black on all Python sources
2024-02-27 13:40:05 +00:00
S506-014-mix-providers
Tests/S506-014-mix-providers: Work around SID deletion in GPR2
2025-06-23 16:08:31 +02:00
S527-004-ckpt-no-level
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
S529-038-isi-ckpt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
S603-009-externally-built
Report cov. for all src. files of units of interest with source traces
2024-02-26 16:36:20 +00:00
S621-026-mcdc-ckpt
Run black on all Python sources
2024-02-27 13:40:05 +00:00
S820-013-ckpt-dup-scos
Run black on all Python sources
2024-02-27 13:40:05 +00:00
SanityCheck/decision/Engines
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
SB06-033-homonyms
Files_Table: fix warning emission for homonym files
2025-10-22 09:27:18 +00:00
scos-overlap
Run black on all Python sources
2024-02-27 13:40:05 +00:00
shared-libs
shared-libs/c-main: fix the 'no sources of language Ada' GPR2 warning
2025-02-04 16:00:22 +00:00
subp_of_interest
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
subp_of_interest_c
Run black on all Python sources
2024-02-27 13:40:05 +00:00
T117-007-intf-thunks
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
T319-018-if-expr
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
T331-043-native-warn
Run black on all Python sources
2024-02-27 13:40:05 +00:00
T520-035-exit-when
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
T528-018-dup-proj-crash
Run black on all Python sources
2024-02-27 13:40:05 +00:00
T611-027-dump-units-to
Run black on all Python sources
2024-02-27 13:40:05 +00:00
T629-012-pragmas
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
T731-036-ckpt-bdd
Run black on all Python sources
2024-02-27 13:40:05 +00:00
T807-011-externally-built-objdir
Run black on all Python sources
2024-02-27 13:40:05 +00:00
T825-010-naming-scheme
Fix the warning for homonym filenames to use preserved casing
2025-07-24 13:48:10 +00:00
T828-018-tagged-aggr
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
T916-046-bdd-remapping
Run black on all Python sources
2024-02-27 13:40:05 +00:00
TA12-013-dump-ignore-src-files
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
TA14-011-show-mcdc-vectors
Run black on all Python sources
2024-02-27 13:40:05 +00:00
TA15-063-ignore-fingerprint
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
TA27-015-ignore-source-files-source-coverage
Add a renaming of the --ignore-source-files switch
2025-11-28 09:30:40 +01:00
TB13-020-expr-func-mcdc
Various testsuite fixes related to non-coverage decision SCOs
2024-08-29 15:29:32 +02:00
TB24-022-missing-sid
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
TC03-012-objcov-line-state
TC03-012-objcov-line-state: fix for source traces mode
2025-07-24 14:29:57 +00:00
TC11-052-internal-error
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
TC31-001-show-exempted
Adapt testsuite to check the number and types of exempted violations
2023-04-21 10:43:43 +02:00
trace_name
Testsuite: fix mismatches between main filenames and unit names
2025-02-04 16:00:22 +00:00
U128-004-displayed-percentages
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U128-029-missing-dump-trigger
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
U204-026-arch-mix
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
U204-029-source-rebase
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
U208-020-child-project
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U208-020-error-call
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U208-020-unique-language-project
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U211-014-setup
U211-014-setup: remove obsolete XFAIL
2025-09-01 14:00:13 +00:00
U219-010-ali-entry-guard-sloc
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U219-010-wrong-sloc-dominant-decision
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U317-004-xml-report
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
U416-006-big-bdd
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U429-016-gnatcov-misuse
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U527-020-dc-from-mcdc
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U630-040-static-decision
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
U811-028-suppress-output
Run black on all Python sources
2024-02-27 13:40:05 +00:00
U901-029-estamps
Run black on all Python sources
2024-02-27 13:40:05 +00:00
UA21-030-elab_mcdc_state
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
UB18-055-switches-in-gprfile
Run black on all Python sources
2024-02-27 13:40:05 +00:00
V120-034-dup-langs
Testsuite: simplify SCOV.minicheck.check_xcov_reports
2024-02-19 14:23:47 +00:00
V201-010-multi-report
Only log output dir creation when not quiet
2024-03-07 13:10:02 +00:00
V304-007-missing-files
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
V309-017-setup-config
test: Add test for manual+auto dump
2025-11-04 10:58:58 +01:00
V520-019-duplicate-messages
Run black on all Python sources
2024-02-27 13:40:05 +00:00
V616-028-xsd-check
Run black on all Python sources
2024-02-27 13:40:05 +00:00
V824-005-sid-ext-prj
V824-005-sid-ext-prj: fix test for gprbuild2
2025-10-06 15:50:41 +00:00
V824-009-dump-trigger-main-end
Run black on all Python sources
2024-02-27 13:40:05 +00:00
VA04-023-non-instr-sco-reloc
Address flake8 issues in the regular testsuite
2024-03-01 13:00:19 +00:00
VB07-015-clean-output-dir
Vairious style fixes following flake88 and balck version bump
2024-11-05 13:21:33 +00:00
VB18-035-default-opts
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
VB21-022-sid-srctrace-mismatch
testsuite: check warnings in gnatcov output
2025-03-26 10:36:58 +00:00
VC19-001-origin-prj
VC19-001-origin-prj: fix case sensitivity for Switches indexes
2025-02-04 16:00:22 +00:00
W315-021-generic-preelab
Report cov. for all src. files of units of interest with source traces
2024-02-26 16:36:20 +00:00
xml-check
Run black on all Python sources
2024-02-27 13:40:05 +00:00
Z999-999
Run black on all Python sources
2024-02-27 13:40:05 +00:00
gnatcov-run.py
Run black on all Python sources
2024-02-27 13:40:05 +00:00