Skip to content

#954 CIF to mCRL2: simplify the generated (range) guards

  • Best to review per commit.

Closes #954 (closed)

Merge request reports