5 ms·
I think the better mapping of unit tests would actually be proofs of lemmas ?
by pierrefermat1 2y ago
I think the better mapping of unit tests would actually be proofs of lemmas ?
- staunton 2y agoI don't see why you would think that. In such a project theorems and proofs are "the main point of the software". The unit tests make sure certain things don't go wrong by noticing when developers, e.g., mess up while refacing something. Also, people actually put the things I was talking about in a folder called "test"...