ACATS licence?

[Natasha Kerensikova <lithiumcat@gmail.com>]

Hello,

I have written a package whose interface mimics that of
Unbounded_String, in order to be a drop-in replacement (except for a few
adaptations, like To_Unbounded_String).

So I thought it would be a good idea to copy ACATS tests that involve
Unbounded_String (i.e. cxa4010, cxa4011, cxa4030, cxa4031 and cxa4032)
as a test suite for my package.

Even though the testing code has been completely written by me (I mean
my fingers typing on my keyboard) and adapter to my (light) testing
framework, I probably depend on the licencing terms of the original
ACATS code.

However I have been unable to find anything looking like a code
licence. Have I missed something? Or does it mean I cannot publish my
test suite and have to either come up with a new set of tests or publish
the package without tests?


Thanks for your insights,
Natasha