ada/gnatcoverage
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
8,335 Commits 59 Branches 3 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Léo Creuse
ad3f23d165 Test/98-quant_expr_nested: Kill for gnat 7.1.2 run 
Ada 2012 support is not perfect in gnat 7.1.2, so do not run the
test when using that compiler.
 2023-07-19 17:57:13 +02:00
Léo Creuse
0c0ab9615c Process nested decisions in quant. expr. loop specs 
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
 2023-07-18 11:56:15 +02:00