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

[Florian Schanda]

On Sunday 28 Jun 2015 07:51:08 Tinelli, Cesare wrote:
> I can sure add a clarification now, but we could also take the opportunity
> to discuss explicitly first whether the standard should:
> 
> 1) require 'exit' to print 'success',
> 2) require 'exit' not to print anything, or
> 3) allow it to print 'success' without requiring it

As a user, I think (2) would be what I expect.

	Florian