4 ms·
git has plenty of properties that are supposed to be true. The developers write tests for them. The properties being tested could be proven instead.
by dons 14y ago
git has plenty of properties that are supposed to be true. The developers write tests for them. The properties being tested could be proven instead.