java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Bitwuzla crashes with SIGABRT on failed parse

Open baierd opened this issue 2 years ago • 1 comments

Bitwuzla (currently available on the branch add_bitwuzla) crashes with a SIGABRT when trying to parse incomplete formulas/queries. We shoud ask the devs to ease this into a non-critical abort that is recoverable.

baierd avatar Oct 05 '23 16:10 baierd

An example would be the query (assert var), with missing variable declaration.

baierd avatar Oct 05 '23 16:10 baierd

Fixed in the parser update of 0.4.0. It now throws a proper IllegalArgumentException.

baierd avatar Apr 11 '24 15:04 baierd