3 ms·
One could argue that you'd need many fewer lines of test code if your compiler can prove a lot of stuff is correct at compile time. It's a personal preference t
by jghn 11y ago
One could argue that you'd need many fewer lines of test code if your compiler can prove a lot of stuff is correct at compile time. It's a personal preference thing but I prefer this situation and don't view it as having poor testing
- prodigal_erik 11y agoThis. Every test just explores one special case of the invariant I would prefer to enforce but cannot with today's tooling.