[SMT-LIB] exit-command in benchmarks

[Clark Barrett]

Andrej,

Thank you for pointing out this inconsistency.  We plan to update the
SMT-COMP rules to say that a final command of (exit) is allowed.

-Clark


On Wed, May 5, 2010 at 9:38 AM, Andrej Dyck <andrej.dyck at rwth-aachen.de>wrote:

> Hello again,
>
> regards to the documentation of SMT-LIB 2.0 and the SMT-Competition
> rules there are only several commands specifying a benchmark script. And
> the exit-command is non of them. But I saw in several (->all?) QF_NIA
> benchmarks the exit-command as last command.
>
> Regards,
>   Andrej Dyck
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>