On Sat, 2014-03-01 at 11:58 +0100, Simon Heimberg wrote: > The test fails sometimes because the machine is a bit too slow. > > I am not sure if we shouldmatch generally or on 1 and 2 only (but not 0): > got lock after ? seconds (glob) I'd go as far as *. -- Mathematics is the supreme nostalgia of our time.