List theory does not work in ProB Plug-in
Description
Environment
None
Attachments
2
- 14 Sep 2015, 12:33 PM
- 14 Sep 2015, 12:27 PM
relates to
Gliffy Diagrams
Activity
Show:
Joy Clark September 14, 2015 at 12:34 PM
You can download the standard theories from the specified link
Jens Bendisposto September 14, 2015 at 12:31 PM
Theory is missing
Details
Details
Assignee
Jens Bendisposto
Jens BendispostoReporter
Joy Clark
Joy ClarkPriority
Created September 14, 2015 at 12:27 PM
Updated October 9, 2015 at 12:23 PM
Use standard theories from here: http://wiki.event-b.org/index.php/Theory_Plug-in
The theory in question is List from 'BasicTheory'
How to reproduce (this requires both the Theory Plug-in and the ProB Plug-in for Rodin 3.1):
1. Import machine & List theory
2. The machine should compile (there are no errors shown in the Rodin Problems view, and the static checked files exist)
3. Right click and select "Start Animation / Model Checking" --> Nothing will happen. Also, no error information is available from ProB
4. Right clicking and selecting "ProB Classic > Export for use in ProB classic..." will result in an error from the static checker (see attached screenshot)