Commit bbb4db90dd2f24b237c3bbcf6ab24389f970d1b8

Behdad Esfahbod 2022-07-21T12:34:46

[Coverage/SingleSubst] Move hand-written loop to Coverage