Herb Sutter cbfd8cd734 Parameterize Expects1 and Ensures` by contract group ...

Allows independently controlling handling of different categories of bugs, such as bounds checks vs. null checks.
User-extensible: Companies can instantiate their own `contract_group` objects for their own categories of contract checks, including for distinguishing contract "levels" like `Normal` vs. `Audit` by just creating those two groups that can then be controlled independently or in combination.

2020-11-27 17:06:01 -08:00

31 KiB

Raw Permalink Blame History

View Raw