Wrong display of B String values
B Strings with slashes are not displayed correctly. In probcli -repl you get the following:
>>> "\\\""
Expression Value =
"\\\""
In the Jupyter output there is one \ missing:
The sequence "\"" is not valid for B/ProB: \ is one character, then the next " closes the string and the last " is a syntax error:
>>> "\\""
! Unknown token: "
! Line: 1 Column: 4 until Line: 1 Column: 4
### "\\""
### ^
Not a valid expression or predicate
Edited by Michael Leuschel