Translation fails
Description
Environment
Linux/64
Attachments
1
Gliffy Diagrams
Activity
Show:

Sebastian Krings January 22, 2014 at 8:15 AM
Both in ProB for Rodin as well as in the standalone version no constants are found. I see no difference in the behaviour of Prob/Rodin and ProB standalone.
Cannot Reproduce
Details
Details
Assignee

Reporter

Original estimate
Time tracking
No time logged1d remaining
Components
Affects versions
Priority
More fields
Story Points
More fields
Story PointsCreated November 6, 2013 at 2:59 PM
Updated January 22, 2014 at 8:15 AM
Resolved January 22, 2014 at 8:15 AM
ProB Rodin plugin version 2.4.1 fails on animate/disprove.motion studio with machine "timing". Export to ProB standalone works fine and the projects opens fine in the standalone version.