|
|
|
|
|
|
by nicoburns
1303 days ago
|
|
|
> An exhaustive test is just one type of a machine verified proof. Not entirely sure I agree with this. A proof by construction is a very different beast to empirical unit tests that only cover a subset of inputs. The equivalent would be units tests that cover every single possible input. |
|
|
That's what "exhaustive" means.