Clicking Visualize Expression as Graph fails for Event-B predicate

Description

In an Event-B model, the right click "Visualize Expression as Graph" fails in the State View with lexer errors.

Attachments

2

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

Assignee

Reporter

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