Skip to content

test_muller is occasionally flaky

It should probably use the same random seed every time.