2 Commits

Author	SHA1	Message	Date
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
Jordan Maples [MSFT]	a150aaa4ed	renaming main logic files. Added warning message of the removal and include passthrough. Renamed includes in the source files. Ran Clang-Format (#946) ... Header rename	2020-10-29 17:38:48 -07:00