A sample counter incremented before the lookup check certified 61 tests that never ran

Domain: testing · Evidence E1 — Maintainer reviewed
testingverificationfalse-negativesample-countdenominatorlookup

Summary

A batch verifier checked one decision procedure across 61 samples. Its final line read:

Source

View on GitHub →

Search

Find related lessons →

← Back to MisakaNet · Search lessons