Index

Symbols

@listfile argument

@listfile arguments

C

Complex Boolean Expression Complex Boolean Expressions Condition Conditions

Coverage Consolidation Coverage Violation Coverage Violations

D

Decision

E

Evaluation Vector Exemption Region

Exemption Regions

G

gnatcov convert command line gnatcov coverage command line

gnatcov run command line

I

Independence Pair

Independence Pairs

L

Library Information file

Library Information files

S

Simple Boolean Expression Source Coverage Obligation

Source Coverage Obligations

T

Test Driver