Skip to content

#1193 CIF/BDD: extra BDD variable domains now have a name + name is used in BDD variable names

Dennis Hendriks requested to merge 1193-cif-bdd-require-supplying-custom-names-for-extra-var-domains into develop
  • Best to review per commit.
  • No end-user visible changes: only the confluence check uses extra variables, but their names are not printed there.

Closes #1193 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent