Hi Dominique,
I see a double space in! { dg-do run } Is this intended?
Yes, it is. This is for tests which should not be run with all
the options cycling, but only once.
I think this was introduced quite some time ago, not sure if it
was ever documented anywhere. I guess we should do so.
Regards
Thomas
