Aug 31, 2018 · 1 min read
Seems like “infinite” is ill suited then, since what you demonstrated is simply that the test writing itself can be automated by the computer. It’s still probabilistic, the computer can just cover way more cases than you can.
