Dorian Peron
c94b420243
doc: Update C++ funcall limitations
2026-02-06 12:47:56 +01:00
Pierre-Marie de Rodat
25ed848962
Fix function call instrumentation for pre-2012 Ada codebases
2026-01-20 15:43:37 +00:00
Pierre-Marie de Rodat
fba7355982
Documentation: minor fixes in the GExpr support section
2026-01-20 15:43:37 +00:00
Matthieu Eyraud
c5b67f8a8f
Update documentation for SPARK support
2026-01-19 18:02:28 +01:00
Matthieu Eyraud
5d2f2c78a2
Document dependency to ldd on Windows
2026-01-16 14:55:30 +01:00
Vasiliy Fofanov
dccb672a15
Fix typos. Use US English spelling.
...
minor - no-issue-check
2025-12-22 16:15:54 +01:00
Pierre-Marie de Rodat
f72b02c6c7
Overcome the limitation for MCDC in default exprs. with decl exprs.
...
When Ada 2022 is available, insert declare expressions so that
"standalone" expressions can host MCDC state variables.
2025-12-11 13:32:16 +00:00
Matthieu Eyraud
a44fbe2c9f
Add a renaming of the --ignore-source-files switch
...
Deprecate the --ignore-source-files switch in favor of the newly
introduced --excluded-source-files switch for naming consistency
purposes. Also rename the Ignored_Source_Files* project attributes.
2025-11-28 09:30:40 +01:00
Léo Creuse
28f33d706e
setup_rts.adb: Add gnatcov_rts specific build var to gprinstall invocation
...
This allows users to change the desired library kind for gnatcov_rts without
potentially impacting other libraries.
2025-11-17 09:42:45 +00:00
Léo Creuse
9127231ac1
doc/gnattest_part.rst: Indicate that stubs can be put under version control
...
The stub bodies and corresponding data units are meant to be modified
by users and modifications are preserved by gnattest when re-generating
the harness, so it makes sense to check them in.
2025-11-13 15:27:47 +01:00
Anthony Leonardo Gracio
efd2d141a5
Remove mention of GS Project Properties in UG
...
For eng/ide/gnatstudio#569
2025-10-16 14:20:31 +00:00
Dorian Peron
ce9c9861d3
doc: Document --manual-dump-files
2025-10-14 17:59:56 +02:00
Matthieu Eyraud
02faf5c16d
Document common instrumentation errors
2025-10-03 10:48:42 +02:00
Matthieu Eyraud
2efc843856
doc: reformulate
2025-10-03 10:48:42 +02:00
Pierre-Marie de Rodat
bc964b33f3
gnatcov doc: clarify how to use --src-subdirs
2025-09-26 07:42:50 +00:00
Léo Creuse
fcf300c361
Doc: Update documentation to reflect current capabilities.
...
(cherry picked from commit aa98ca919c
2025-09-19 09:41:21 +02:00
Dorian Peron
6e431ae36f
examples: Add a doc example for rust coverage
2025-09-08 09:33:42 +00:00
Dorian Peron
5780b3b3af
doc(rust): Add a paragraph for unsupported constructs
2025-09-08 09:33:42 +00:00
Dorian Peron
7d6eedb168
doc: Add documentation for rust coverage analysis
2025-09-08 09:33:42 +00:00
Matthieu Eyraud
56bfe6d321
Replace mentions of GNATDAS with GNAT DAS
2025-09-05 10:56:32 +02:00
Matthieu Eyraud
cbd0c449ea
integrated instr doc: documente the use of --sid for gnatcov coverage
2025-09-01 10:10:21 +02:00
Matthieu Eyraud
b9cfb609e6
doc: use the :cmd-option: syntax
2025-08-29 16:59:02 +02:00
Matthieu Eyraud
b549310aeb
Add sources for the consolidation traces example
2025-08-29 11:59:27 +02:00
Matthieu Eyraud
b5d56198b3
Add sources for the customize instrumentation runtime doc example
2025-08-29 11:59:27 +02:00
Matthieu Eyraud
7cc4ebc425
gnatcov setup: error out to avoid stack overflow
2025-08-29 11:59:27 +02:00
