From ferhat.erata at yale.edu  Thu Mar 30 21:57:36 2023
From: ferhat.erata at yale.edu (Ferhat Erata)
Date: Thu, 30 Mar 2023 16:57:36 -0400
Subject: [klee-dev] General question
In-Reply-To: <CAJ7q4=+V1ZUP-YR58bWygLw3v7ynsGR29wD6o4Nmmc5LAw_nmQ@mail.gmail.com>
References: <CAJ7q4=+V1ZUP-YR58bWygLw3v7ynsGR29wD6o4Nmmc5LAw_nmQ@mail.gmail.com>
Message-ID: <CAGd6TmXd6dJ5mDKHLrp5W+dSwRVcP4h5RG+MysKk7t0dodw44g@mail.gmail.com>

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