[klee-dev] General question

[Ferhat Erata]

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 <btssrikar at gmail.com>
wrote:

> Hello, I was wondering if there is way in which we can get
> symbolic formula for a variable in a code in smt2 format unlike
> kquery format which we get using klee_print_expr.
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed