> The idea that simplicity (which I'm pretty sure that nobody in here is using to specifically mean "the lack of cyclomatic complexity") can be measurably impro

> The idea that simplicity (which I'm pretty sure that nobody in here is using to specifically mean "the lack of cyclomatic complexity") can be measurably improved but that correctness cannot is incorrect. Have you seen a program that comes with a formal proof of correctness? I have. And boy, they are really simple. The end result can be complicated. But the program is broken up into small, simple, easy-to-understand pieces that are then composed. http://spinroot.com http://spinroot.com https://frama-c.com https://frama-c.com