mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-10-05 00:47:54 -04:00
Drew T
7 lines
432 B
Markdown
7 lines
432 B
Markdown
# G19 -- Assert your coverage
|
|
|
|
A scanner compares what it found against an over-approximating candidate set and fails on the gap. A silent skip is a
|
|
defect, and a loud failure nobody counts is exactly as invisible. A tool that cannot answer refuses; it never returns an
|
|
empty set that reads as "nothing left".
|
|
provenance: BFM R32 + R43; seven silent-skip defects in one audit (Phase 26); a scanner that reported the decomp complete
|