Error launching ProB Animation (If parent machine being extended has theorems in guards)

Description

Lets say, there are Machines m0, m1, m2 and m3.
If there are "theorems as part of the guard of events" in Machine m2, then launching Machine m3 for ProB animation fails.
Once theorems are made not theorems in Machine m2, then the launch for ProB animation is successful for Machine m3.
Request for the fix.
Thanks.

Environment

Windows

Attachments

1

Gliffy Diagrams

Activity

Show:

Jens Bendisposto January 10, 2014 at 5:18 AM

The problem is fixed in the nightly build, but not yet in the release.

The nightly build is available from this update site: http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/

Fixed

Details

Assignee

Reporter

Components

Affects versions

Priority

Created January 10, 2014 at 4:59 AM
Updated January 22, 2014 at 7:50 AM
Resolved January 22, 2014 at 7:50 AM