3 ms·
If you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?
by raw_anon_1111 7mo ago
If you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?
- cindyllm 7mo ago[dead]
- viktorianer 7mo ago[flagged]
- catgary 7mo agoBecause it doesn’t? Thats why the field of formal methods exists.
- raw_anon_1111 7mo agoThen that sounds like you aren’t writing good tests…