Skip to content

#667 Support logical implication operator in CIF to mCRL2

Martijn Goorden requested to merge 667-cif-to-mcrl2-should-support-logical-implication-operator into develop

Closes #667 (closed).

The changed test case is accepted by mCRL2 as a well-formed mCRL2 specification.

Merge request reports

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