Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

CCBM 5.7.1 now available (maintenance)

Posted on February 09, 2018 in category Releases/CCBM

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

Improvements

  1. Memory Optimisation for textual coverage merge ccbm_mco:

    • redesigned to be less memory-consumptive, space for more input files is allocated dynamically (resolves #16517)

Bugfixes

  1. Instrumentation (ccbm_prep):

    • add “==” to the list of binary operators (which is used in some context to parse initialises) – fixes #16121

    • robustness: clean up useless rules (reported by yacc)

  2. Utility for not-processed files (ccbm_empty_cov):

    • fixed ‘;’ that are erroneously marked as ‘coding’ (#####) when within comments – fixes #16469

Latest Releases

Publications