Verified Systems International GmbH

Quality Assurance for Embedded Systems

CCBM 5.4.0 now available (new feature)

A new feature release is now available.
Consider updating if you are using Version 5.3.3 or older.


  1. internal make check:

    • adjusted environment to work with parallel test execution (by ensuring that all scripts used for self-tests are equipped with the +x flag via a dummy target)

    • changed EXEEXT-logic to be part of the test name (avoid gmake expressions in TESTS definition)

  2. ccbm_prep / asts-ccbm-prepare-file:

    • added (optional) configuration section TYPEOF_MACROS that allows to parse typeof() code (implements feature request #8188)

    • added command line option ‘--no-sanity’ to skip sanity checks

  3. configure/scripts:

    • added configure option --diable-symlinks to suppress generation of symlinks to the current project (the file CURRENT_PROJECT serves as fallback for this anyway); the scripts now allow to override this configuration by setting --symlinks (or explicitly: --no-symlinks)

    (implements feature request #7855)

  4. asts-ccbm-clean-project:

    • also remove conditional_log.summary (if present)