List theory does not work in ProB Plug-in

Description

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)

Environment

None

Attachments

2
  • 14 Sep 2015, 12:33 PM
  • 14 Sep 2015, 12:27 PM

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

Assignee

Reporter

Priority

Created September 14, 2015 at 12:27 PM
Updated October 9, 2015 at 12:23 PM