| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Windows-MSVC.7z | 2022-11-28 | 9.1 kB | |
| macOS.7z | 2022-11-28 | 6.7 kB | |
| Linux.7z | 2022-11-28 | 6.7 kB | |
| README.md | 2022-11-28 | 2.0 kB | |
| Release v4.6.2.tar.gz | 2022-11-28 | 267.6 kB | |
| Release v4.6.2.zip | 2022-11-28 | 299.6 kB | |
| Totals: 6 Items | 591.6 kB | 0 | |
Features
When linking against the contract checking and enforcement library
asap-contract (https://github.com/asap-projects/asap-contract), it is
possible to control the contract checking mode by passing a value for the
CONTRACTS option when adding any type of target with asap_add_xxx
API (e.g. asap_add_library. asap_add_test, etc):
- CONTRACTS OFF : set contract checking mode to OFF
- CONTRACTS AUDIT : set contract checking mode to AUDIT
-
CONTRACTS DEFAULT : set contract checking mode to DEFAULT
-
CONTRACTS AUTO : set contract checking mode using as a first priority the value passed in the cmake option
OPTION_CONTRACT_MODE. If none is present, automatically set the mode based on the build configuration. For Debug -> AUDIT, For Release and RelMinSize -> OFF, and for RelWithDebInfo -> DEFAULT. -
CONTRACTS TESTING : indicates that contracts are being testing and the target needs to have full control on the contract checking mode. Nothing will be done here.
The default setting is AUTO.
Bug Fixes
By default, for every target we build, a compiler option will be added
to treat warnings as errors, unless the target is added with WARNING as
an option.
When that option is used, we now properly propagate it to set the corresponding compiler option to NOT treat warnings as errors.
This is useful when 3rd party dependencies have include files that generate warnings.