search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
332 stars 62 forks source link

Fix echo command #27

Closed maul-esel closed 5 years ago

maul-esel commented 5 years ago

Flush after printing when using echo. Otherwise the output only appears after another command produces output.

This is especially critical when interacting programmatically with the solver via the command line, e.g. in the manner of scalaSMT.

maul-esel commented 5 years ago

cc @franck44

mpreiner commented 5 years ago

Thanks for reporting! I went ahead and fixed it myself in a4a5ca6ecf59b100d3c11cc2f6cc2b1212f085e6 so that you don't have to jump through the hoops of signing a one-line commit.

maul-esel commented 5 years ago

Thanks :+1: