libunifex
libunifex copied to clipboard
Add contract checking support to schedule/connect/start
The code assumes that the contracts will be followed and invokes undefined behavior when they are not. This reduces confidence when landing changes. Introduce wrappers that check contracts and terminate on violations. Use these wrappers in the schedule/connect/start cpos to increase confidence in changes.