Error launching ProB Animation (If parent machine being extended has theorems in guards)
Description
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/
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.