[SMT-LIB] Response to (exit) Command?

[Tinelli, Cesare]

On 25 Jun 2015, at 23:44, Tjark Weber <tjark.weber at it.uu.se> wrote:

> Also, the (exit) command is not included in Figure 4.1, but the text on
> page 50 states that "[i]f a command does not appear on any transitions
> originating from a mode, it is not permitted in that mode."
> 
> Either the figure or (more likely) the text should be changed, so that
> it correctly describes in which modes (exit) is permitted.
> 
The text should indeed be changed to clarify that 'exit' is permitted in any mode.
Will do.

Thanks,


Cesare


> Best,
> Tjark
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib