In some critical / regulated / military embedded software, there are situations where you'd want runtime checks. The Ada tooling ecosystem is pretty good, and c

In some critical / regulated / military embedded software, there are situations where you'd want runtime checks. The Ada tooling ecosystem is pretty good, and can help you figure out if it's necessary and what affect it has.