Say I have as input a byte. I create a test that exercises every possible byte value. A verification would be the equivalent of that. In practice that matter

Say I have as input a byte. I create a test that exercises every possible byte value. A verification would be the equivalent of that. In practice that matters since the input space is often much larger than just one byte.