Index

Symbols

--additional-tests (gnattest) --compiler-prefix (gnattest) --config (gnattest) --copy-environment (gnattest) --exclude-from-stubbing (gnattest) --exit-status (gnattest) --external-stub (gnattest) --harness-dir (gnattest) --harness-only (gnattest) --help (gnattest) --ignore (gnattest) --include-for-stubbing (gnattest) --inheritance-check (gnattest) --no-command-line (gnattest) --no-external-stub (gnattest) --no-inheritance-check (gnattest), [1] --no-subprojects (gnattest) --omit-sloc (gnattest) --package-hash-len (gnattest) --package-max-len (gnattest) --passed-tests (gnattest), [1] --prefix (gnattest) --queues (gnattest) --recursive-stub (gnattest)

--reporter (gnattest) --RTS (gnattest) --rts-profile (gnattest) --separate-drivers (gnattest) --shorten-package (gnattest) --skeleton-default (gnattest) --strict (gnattest) --stub (gnattest) --stubs-dir (gnattest) --subdirs (gnattest), [1] --test-duration (gnattest) --tests-dir (gnattest) --tests-root (gnattest) --tgen (gnattest) --validate-type-extensions (gnattest) --version (gnattest) -files (gnattest) -j (gnattest) -q (gnattest) -r (gnattest) -U (gnattest), [1] -v (gnattest) -X (gnattest) @listfile argument

C

Complex Boolean Expression Condition Coverage Checkpoint

Coverage Checkpoints Coverage Consolidation Coverage Runtime Coverage Violation

D

Decision

E

Evaluation Vector

Exemption Region

F

Fine Grained Exemption

G

gnatcov coverage command line for source coverage

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