Type-driven design in automotive C: how much of my code is manual type checking?

1 points | by lmilz 10 hours ago