On Oct 21, 2016, at 9:54 AM, Eric Botcazou <ebotca...@adacore.com> wrote: > >> I'm not strongly against your patch, I'm just very surprised it is really >> needed (acats is much larger, check-gnat is small). > > In what unit do you count? ACATS has fewer tests than gnat.dg nowadays.
The only unit that matters, wall seconds.