Verified Systems
  • Industries ▼
    • Avionics
    • Railway
    • Space
    • Defence
  • Products ▼
    • RT-Tester
    • RT-Tester::Model-Based Testing
    • Code Coverage Branch Monitor
    • Virtual Test Bench
    • Graphical Signal Manipulation Interface
    • Test Engines
  • Services ▼
    • Testing
    • Validation
    • Requirement & Code Review
    • Requirement Engineering
    • Software Engineering
  • Research
  • Company ▼
    • About us
    • Certificates
    • Quality Policy
    • Careers
  • Contact
Hero Image

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.

2013-07-16

Improvements

  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 Makefile.am 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)

Bugfixes

(none)

Verified Systems

Verified Systems International GmbH

Stay Informed LinkedIn

Industries

  • Avionics
  • Railway
  • Space
  • Defence

Products

  • RT-Tester
  • RTT-MBT
  • Test Engines

Legal

  • Contact
  • Career
  • Terms and Conditions
  • Datenschutzerklärung
  • Privacy Policy
  • Impressum

© 2026 Verified Systems International GmbH