What should happend when an assertion fails
In which context checks for assertions, contracts, bounds checks etc. are enabled
Version of C++ standard to support
Defines a setting for how compiler warnings and deprecations are handled
Trivalent boolean to represent the state of a revertable change
Each flag represents a field that can be included in the JSON output.
Collection of global state
Stores command line options and contains other miscellaneous declarations.