GNATDAS
25.0w (20240327)
1. GNATcoverage User’s Guide
2. GNATtest User’s Guide
3. GNATfuzz User’s Guide
4. Using GNATtest with GNATcoverage
5. Using GNATtest with GNATfuzz (experimental)
Appendix A. Using GNATcoverage Binary Traces
GNATDAS
Index
Index
Symbols
|
B
|
C
|
D
|
E
|
G
|
I
|
L
|
S
|
T
|
U
Symbols
--additional-tests (gnattest)
--copy-environment (gnattest)
--exclude-from-stubbing (gnattest)
--exit-status (gnattest)
--harness-dir (gnattest)
--harness-only (gnattest)
--ignore (gnattest)
--inheritance-check (gnattest)
--no-command-line (gnattest)
--no-inheritance-check (gnattest)
,
[1]
--no-subprojects (gnattest)
--omit-sloc (gnattest)
--passed-tests (gnattest)
,
[1]
--queues (gnattest)
--reporter (gnattest)
--RTS (gnattest)
--separate-drivers (gnattest)
--skeleton-default (gnattest)
--strict (gnattest)
--stub (gnattest)
--stubs-dir (gnattest)
--subdirs (gnattest)
,
[1]
--test-duration (gnattest)
--tests-dir (gnattest)
--tests-root (gnattest)
--validate-type-extensions (gnattest)
-files (gnattest)
-j (gnattest)
-q (gnattest)
-r (gnattest)
-U (gnattest)
,
[1]
-v (gnattest)
-X (gnattest)
@listfile argument
B
Binary Trace
C
Complex Boolean Expression
Condition
Coverage Checkpoint
Coverage Checkpoints
Coverage Consolidation
Coverage Runtime
Coverage Violation
D
Decision
E
Evaluation Vector
Exemption Region
G
gnatcov convert command line
gnatcov coverage command line for object coverage
gnatcov coverage command line for source coverage
gnatcov run command line
gnattest
I
Incremental Coverage Analysis
Independence Pair
L
Library Information file
S
Simple Boolean Expression
Source Coverage Obligation
Source Instrumentation Data file
Source Trace
T
Test Driver
U
Units of Interest