Rendering of point in REPL / Console output
Description
Environment
None
Activity
Show:

Michael Leuschel November 10, 2020 at 10:59 AM
Issue is fixed
(However, in Event-B mode the same input gives an out of bounds exception.)

Michael Leuschel November 9, 2020 at 4:35 PM
I have commited a change to probparsers (85337027933af797c61604a2340093df90a38d0f)

Michael Leuschel November 9, 2020 at 4:26 PM
We would need to add the Real number token class to the Unicode translator, I guess.

Fabian Vu November 9, 2020 at 1:40 PM
This seems to be an issue in the UnicodeTranslator in probparsers (https://gitlab.cs.uni-duesseldorf.de/stups/prob/probparsers/-/blob/develop/unicode/src/main/java/de/prob/unicode/UnicodeTranslator.java).
The dot is always translated to the character \u00b7
in line 98
Fixed
Details
Details
Assignee
Unassigned
UnassignedReporter

Priority
Created November 6, 2020 at 10:07 AM
Updated November 10, 2020 at 10:59 AM
Resolved November 10, 2020 at 10:52 AM
In the B console aka REPL, real numbers are printed somewhat strangely: