They do have value in the general case. They allow crater to check for miscompilations and libstd bugs by running the test.