BtorMC: Exit after printing version

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

324 stars 63 forks source link

BtorMC: Exit after printing version #225

Open Po-Chun-Chien opened 1 month ago

Po-Chun-Chien commented 1 month ago

I noticed that when running build/bin/btormc --version, the process hangs and only terminates after receiving EOF (ctrl-D). Similar commands, such as

build/bin/btormc --copyright or
build/bin/boolector --version,

print the messages and terminate.

I added a fix for this.

I am not sure if the current behavior is a mistake or intended. Feel free to close this PR in case of the latter.

mpreiner commented 4 weeks ago

Good catch! Thanks for the fix!