Trace test fails occasionally and unpredictably

[dicej]

This causes ci.sh to fail randomly for unrelated pull requests, maybe 1% of the time. One way to try reproducing it is with e.g.

while make mode=debug bootimage=true input=Trace run >/tmp/log.txt 2>&1; do echo success; done

If that loop exits, it means it fails, and hopefully /tmp/log.txt has details. You might also want to run ulimit -c unlimited to ensure the core is dumped if it crashes.

[dicej]

I've had the above loop running for the past few hours and have yet to hit a failure. Maybe there's something about Travis's build environment that makes it more likely.