Skip to content

#948 CIF to mCRL2 precheck/docs: div/mod for positive divisor.

Dennis Hendriks requested to merge 948-cif-to-mcrl2-non-negative-should-be-positive into develop
  • Small fix for prechecker comment and documentation: non-negative should be positive.

Closes #948 (closed)

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent