On Tue, Feb 28, 2012 at 3:21 AM, Oliver Kullmann <O.Kullmann at swansea.ac.uk>wrote: > > Oliver > > P.S. Wouldn't it be reasonable for the function > bug_report to show also the values of all such > flags? > > I think that's a good idea. Ray