Skip to content

#823 CIF tools check annotation constraints on output models

  • I made small steps, but some things are changed again in a later commit. Best to understand per commit, but to save review comments until the end.
  • Changed the CIF event disabler, CIF to CIF transformer and CIF data-based synthesis tool to check annotations on output models.
  • Improved the output of the CIF merger in case of post check problems on the merged specification.
  • Did not yet change the CIF controller properties checker, since !907 (merged) is not yet merged. Will do that tool separately later on.

Addresses #823 (closed)

Merge request reports