Laurent GUERBY wrote:
On Thu, 2006-03-02 at 01:34 +0100, Robert Dewar wrote:
Laurent GUERBY wrote:
VRP might now force us to update the overflow list but I'm not sure
about switching to a full -gnato everywhere.
well you can expect some fiddling each version if you work this way
The list for -gnato tests hasn't changed since it's initial
import into GCC in 2003-10-27, and was present in early
versions of acats4gnat may be a year before. Not yet in the
"fiddling each version" category :).
It might be worth noting in documentation somewhere that this procedure
for running ACATS (using different switches on different tests) does
not conform to the standardized procedure for running these tests
(standardized = relevant ISO standard).
