> In the embedded world, I imagine it would be a good standard to force people to consider refactoring functions to their truth table. It's not only a "good st

> In the embedded world, I imagine it would be a good standard to force people to consider refactoring functions to their truth table. It's not only a "good standard". It helps with verification: you can verify that the truth table is correct, and then that the function correctly implements that truth table. At least the former can sometimes be done formally. > Curious how MISRA works out in practice. Like every other standard, it depends on who's implementing it and with what tools, but it generally works out pretty well.