That’s a fair point. I don’t. In that youre not trying to prove the tests “correct” though, but instead trying to prove good coverage. I’d argue there are sev

That’s a fair point. I don’t. In that youre not trying to prove the tests “correct” though, but instead trying to prove good coverage. I’d argue there are several ways to do that, and that’s certainly an interesting approach to the problem. In either case you’ll have trouble being 100% confident though, so I guess it’s a matter of deciding when enough is enough.