Description
Design-by-contract involves specifying pre- and post-conditions for function that must hold on entry/exit. It's an added layer of run-time protection. Investigate tools like the following, to see if it'd be worth adding something like this to the repository.
Description
Design-by-contract involves specifying pre- and post-conditions for function that must hold on entry/exit. It's an added layer of run-time protection. Investigate tools like the following, to see if it'd be worth adding something like this to the repository.