Global history testing

[aadcg]

In d32b369b18c753b1a618b2e611e62f0342f90857 a change was introduced to deal with that fact that running these tests locally always failed. However, running the test suite twice locally results in the same problem.

Could you take a look @ambrevar?

[Ambrevar]

It's a different problem but yes, the test is not functional enough then! Thanks for catching this, André!

Should we have a meta-test that runs the tests twice?

[aadcg]

Should we have a meta-test that runs the tests twice?

I don't think so honestly. We'd be leaning towards a (potentially) endless chain of meta testing that goes by: program -> test(program) -> test(test(program)) -> ...

We just need to be extremely careful so that our test suite is as bug-free as we can. It's ok it's not perfect yet :)

[Ambrevar]

~~@aadcg Is this fixed?~~ Wrong issue, sorry :p