Eclipse Community Forums: Requirements Modeling Framework

Help

Home

Home » Eclipse Projects » Requirements Modeling Framework » Comparing Specifications Error

Show: Today's Messages :: Show Polls :: Message Navigator

Comparing Specifications Error [message #1701436]

Mon, 13 July 2015 13:13

Aidan Courts

Messages: 3
Registered: July 2015

Junior Member

Hi,

For a project I have been working on, I am modelling on Event-B. We are trying to decide if we are going to use ProR to manage our requirements.

When I attempt to compare two reqif files the differences are outlined, but when I attempt to find the properties of each object that has been change I get given the error: problems occurred when invoking code from plug-in: "org.eclipse.jface". I can then not find out what the difference are.

Is this a common error and if so what can I do to rectify the problem?

I am using rodin 3.2 on windows .

Thanks
Aidan

Report message to a moderator