Logo
Explore Help
Sign In
ada/gnatcoverage
0
0
Fork 0
You've already forked gnatcoverage
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
master
gnatcoverage/testsuite/SCOV
History
Pierre-Marie de Rodat 7804f3fad4 Make it possible to pass --relocate-build-tree without an explicit dir
2026-02-06 13:33:55 +00:00
..
expgen
ci: Fix precommit issues
2025-01-22 14:21:35 +01:00
internals
Testsuite: do not enable GPR mode automatically with source traces
2026-01-26 10:26:01 +00:00
__init__.py
SCOV: fix remaining flake8 diagnostics
2020-02-20 17:14:02 +01:00
htc.py
Run black on all Python sources
2024-02-27 13:40:05 +00:00
instr.py
Add a switch enabling the instrumentation of ghost code
2026-01-15 19:06:05 +01:00
map.py
Run black on all Python sources
2024-02-27 13:40:05 +00:00
minicheck.py
Make it possible to pass --relocate-build-tree without an explicit dir
2026-02-06 13:33:55 +00:00
report.py
Run black on all Python sources
2024-02-27 13:40:05 +00:00
sarif.py
Rework SARIF tests so that diffs/baseline updates are human friendly
2024-11-19 16:21:56 +00:00
tc.py
Merge branch 'eyraud/320' into 'master'
2025-08-29 10:07:28 +02:00
tctl.py
Fix tests failing in GPR mode with binary traces
2026-01-19 14:40:55 +00:00
Powered by Gitea Page: 226ms Template: 19ms
English
English
Licenses API