Hacker News new | ask | show | jobs
by catgary 77 days ago
Because it doesn’t? Thats why the field of formal methods exists.
1 comments
raw_anon_1111 77 days ago
Then that sounds like you aren’t writing good tests…
link