Index

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] --omit-sloc (gnattest) --passed-tests (gnattest), [1] --queues (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 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

Independence Pair

L

Library Information file

S

Simple Boolean Expression Source Coverage Obligation

Source Instrumentation Data file Source Trace

T

Test Driver