SMTLIB2 echo command

[Franck Cassez]

Does Boolector in --smt2 mode support the SMTLIB2 echo command?

Usage is (echo "something") and is supposed to print the string "something" to the terminal.

Reference is http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-draft.pdf, page 11.

Thanks

Franck

[Aina Niemetz]

Hi Franck,

Boolector currently does not support SMT-LIB's echo command. We'll add
support for echo in the upcoming release.

Cheers,
Aina

> --
> You received this message because you are subscribed to the Google
> Groups "Boolector" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to boolector+...@googlegroups.com
> <mailto:boolector+...@googlegroups.com>.
> To post to this group, send email to bool...@googlegroups.com
> <mailto:bool...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/boolector.
> For more options, visit https://groups.google.com/d/optout.