Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

CCBM 5.7.2 now available (maintenance)

A maintenance release is now available. Consider updating if you are using Version 5.7.1 or older.

New Features

  1. preprocessing (ccbm_prep):

    • allow #endif to have trailing open C-comment (FR18921)


  1. coverage merging (ccbm_mco):

    • improved --help output: the options --diff and --format are also possible
    • use type casts where appropriate
    • avoid –possibly overloaded– abs(), use macro instead
  2. Documentation (Manual):

    • removed obsolete dependency to boxedminipage (not present on CentOS-7, CentOS-8)


  1. post-processing (ccbm_coverage):

    • revised hash-else processing (fixes #18952)
    • better treatment of inactive #elif blocks (fixes #18953)