Hacker News new | ask | show | jobs
by mamcx 2436 days ago
Nothing like a bug behind a safety feature :)
2 comments

That’s … not a bug.

A buggy assertion would be one that fires when the input is correct.

Assertions aren’t formal verifiers or replacements for a test suite.