Arnaud Charlet <char...@adacore.com> writes:
>> I'll be happy to add the concrete version number if Arnaud prefers.
>
> I'd even go further and clarify that the tests represent "a modified subset of
> executable tests from the ACATS 2.5 testsuite", to make it clear that these
> have no "official" status and do not correspond to the original tests
> exactly.
It would be good (though probably not in sourcebuild.texi) to describe
the modifications. I noticed some when trying to identify the exact
version of upstream ACATS 2.5 that is included, and this info would help
for a move to 3.0 in the future.
Thanks.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
