Skip to content
Snippets Groups Projects
Select Git revision
1 result Searching

MANIFEST.MF

  • dgelessus's avatar
    c27f7e25
    Work around Event-B EMF bug that broke adding a variant · c27f7e25
    dgelessus authored 
    Modifying an already existing variant worked, but when adding a new
variant to a machine that didn't have one, Rodin complained that the
variant has an empty label.

This fix requires increasing the minimum Event-B EMF version to
guarantee that Variant.setName exists.
    c27f7e25
    History
    Work around Event-B EMF bug that broke adding a variant
    dgelessus authored 
    Modifying an already existing variant worked, but when adding a new
variant to a machine that didn't have one, Rodin complained that the
variant has an empty label.

This fix requires increasing the minimum Event-B EMF version to
guarantee that Variant.setName exists.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.