I don't love the pragma stuff, but I guess it's the best option. We used to have CoverAlls, which would report total coverage based on all versions tested - so even if some code didn't get tested because it was the wrong version, it would execute in another version and get marked as good.