Prove a Go package's tests catch defects, by injecting faults one at a time and requiring the suite to fail. Use when a spec says a named wrong implementation cannot pass, when reviewing a test suite, when auditing a package whose tests pass but whose correctness must be trusted, when comparing two implementations of one spec, or when deciding what a coverage number is worth.
