We're updating the issue view to help you get more done. 

B Console does not print solutions to existentially quantified predicates

Description

The B Console no longer? seems to print solutions for existentially quantified predicates:

B> x+10=3
TRUE

I had the impression this did work in the past; but maybe I am wrong.
Here is the output in the probcli -repl
>>> x+10=3
Existentially Quantified Predicate over x is TRUE
Solution:
x = -7

Environment

None

Status

Assignee

dgelessus

Reporter

Michael Leuschel

Labels

None

Priority

Major