Hi Teja,
I was also looking for this feature. Have you come up with a workaround?
Do you know if there is a way to transform expressions in kquery format to
smt2 format?
Best,
~ Ferhat
On Mon, Jan 9, 2023 at 7:21 AM Teja Sai Srikar Bodavula
wrote:
> Hello, I was wondering if there is way in
Hi,
I wanted to ask about converting symbolic expressions in KQuery format
to SMTLIB format.
Currently, I am able to obtain the symbolic expressions using
`klee_print_expr` in KQuery format, but I need to manipulate them in
bit-vector logic, which requires converting them to SMTLIB format to