Skip to content

#60 Fix duplicated error messages for multi init locs in mCRL2 transformation.

Closes #60 (closed)

Merge request reports