Eric Botcazou wrote:
Furthermore, I am not really sure that the FSF testing
infrastructure is setup to deal with tests of hundreds
of thousands of lines of code.
Right, this is not the "spirit" of the GCC regression testsuite.
We instead strive to distill reduced testcases from these monsters.
And to be clear, what we do at AdaCore when we get one of these
"monsters" (once we understand the problem and have a patch), is
precisely to distill it down to a reduced test case, and this is
the test case that gets added to the FSF test suite.
We still find it very valuable to have this large body of code
in our proprietary test suite, since they act as a good guard
against general regressions (in fact our local procedure at
AdaCore is that before checking in even the most trivial change,
we have to run the monster suite :-))
