Unexpected SafeLang13 failure

[daniel.is.fischer]

During a validate run, SafeLang?13 unexpectedly failed with differing stdout:

 H "Hello World"
 G 1
+Should be 3 := 2
+G 2
 Should be 3 := 3
-G 3
-Should be 3 := 4

Running the test alone afterwards passed repeatedly, so it looks like a weird interaction on a busy box.

[simonmar]

I've seen this too, probably a race condition in the test (validate uses 2 threads by default). David, could you take a look?

[dterei]

OK should be fixed in ed4d1722c4cadb530952a586eb4b70cd131d3db0.