Translation fails

Description

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.

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

Assignee

Reporter

Original estimate

Time tracking

No time logged1d remaining

Components

Affects versions

Priority

More fields

Created November 6, 2013 at 2:59 PM
Updated January 22, 2014 at 8:15 AM
Resolved January 22, 2014 at 8:15 AM