This is one of the few remaining instances of flapping coverage in coveralls. They both appear to be related to shared_random.
compare this and this
also this and this