Clicking Visualize Expression as Graph fails for Event-B predicate
Description
Attachments
2
is duplicated by
relates to
Activity
Show:
dgelessus November 11, 2020 at 6:07 PM
Fixed in ed50cb7b in ProB 2.

Fabian Vu February 5, 2020 at 11:29 AM
Like the Unicode inverse operator ⁻¹, pragmas cannot be handled by the lexer
Fixed
Details
Details
Assignee
Reporter

Labels
Priority
Created September 30, 2019 at 12:02 PM
Updated November 11, 2020 at 6:07 PM
Resolved November 11, 2020 at 6:07 PM
In an Event-B model, the right click "Visualize Expression as Graph" fails in the State View with lexer errors.