You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
0c0ab9615c
The Process_Decisions tree traversal skipped the processing of the loop specification of quantified expressions nodes, thus potentially missing on some nested decisions. This change fixes that by fully traversing the syntactic children of quantified expressions nodes. Fixes eng/cov/gnatcoverage#98
16 lines
423 B
Python
16 lines
423 B
Python
"""
|
|
Check that decisions nested in a quantified expression but not in the predicate
|
|
are correctly instrumented. These used to be silently ignored by gnatcov.
|
|
|
|
The naming convention for the test drivers is as follows:
|
|
test_<if_expr_valuations>_<predicate_valuations>.adb
|
|
"""
|
|
|
|
from SCOV.tc import TestCase
|
|
from SCOV.tctl import CAT
|
|
from SUITE.context import thistest
|
|
|
|
|
|
TestCase(category=CAT.decision).run()
|
|
thistest.result()
|