CPUTime001 is fragile

I have seen CPUTime001 fail spuriously on several occasions. In one such occasion on Debian 9 the normal testsuite way failed with:

--- libraries/base/tests/CPUTime001.run/CPUTime001.stdout.normalised	2019-01-23 18:53:32.601027719 +0000
+++ libraries/base/tests/CPUTime001.run/CPUTime001.run.stdout.normalised	2019-01-23 18:53:32.601027719 +0000
@@ -1,4 +1,4 @@
 1028457
 1664079
 2692537
-(True,True)
+(False,True)

Edited Mar 10, 2019 by Ben Gamari

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information