You’re talking about RAIM. But you’re also required to check NOTAMs, where these tests are documented, under the “all pertinent information” clause of the preflight regs.