Verified Systems International GmbH
Quality Assurance for Embedded Systems
Quality Assurance for Embedded Systems
A new feature release is now available.
Consider updating if you are using Version 5.2.2 or older.
asts-ccbm-baseline-information: allow inclusion of analysis file
(implements FeatureRequest #7563)
ccbm_prep:
else’, release any ‘blocking of
mark until next semicolon’ (may be a leftover from incomplete
configuration of symbols)ccbm_prep:
mystruct = { .field1 = 7 };