On Tue, Aug 12, 2014 at 10:11 AM, Gary Benson <gben...@redhat.com> wrote: > Ian Lance Taylor wrote: >> >> I think that by default the program should stop. That will make it >> possible to eventually run as part of "make check". Give it some >> number of iterations that stops it in a second or so. You can still >> have it run forever by using -m -1. > > On my machine it usually fails in 3-5 seconds, so a 1 second run seems > a little too short. How does 10 seconds sound?
OK, we can start with that, I suppose. Ian