3 ms·Does Ada check these type of invariants at compile-time or run-time?by jbapple 10y agoDoes Ada check these type of invariants at compile-time or run-time?DannyBee 10y agoIt can do both.