#225 CIF to mCRL2 transformation gives an incorrect warning when disabling default value actions (!186) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Merged Ferdie Reijnen requested to merge 225-cif-to-mcrl2-transformation-gives-an-incorrect-warning-when-disabling-default-value-actions into develop Nov 10, 2021

Closes #225 (closed)

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