silent-errors
Probes whose right answer is known by construction, and whose wrong answer looks fine. A correctness suite for geospatial systems.