Next / Previous / Contents / Shipman's homepage

22.11. Truths._overcovered()

Section 19, “Truths._overcovered(): Message for an over-covered input set”: By inspection.