4 ms·
Design by contract improves software quality instead of lowering it. And it explicitly introduces undefined behaviour aka "memory safety bugs".
by mgaunard 3y ago
Design by contract improves software quality instead of lowering it.
And it explicitly introduces undefined behaviour aka "memory safety bugs".
- keybored 3y agoDesign by contract? That technique which “shuts down your program”/panics on assertion failure? You seem to contradict yourself.