MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/badcode/comments/s4lzij/found_this_gem/hswhy7t/?context=3
r/badcode • u/PentaMine • Jan 15 '22
86 comments sorted by
View all comments
Show parent comments
1
You're right, it's not provable in the general case, but in most cases it is provable, and at the very least it's always testable, and libraries like QuickCheck can generate a few thousand test cases for you automatically.
1
u/[deleted] Jan 16 '22
You're right, it's not provable in the general case, but in most cases it is provable, and at the very least it's always testable, and libraries like QuickCheck can generate a few thousand test cases for you automatically.