[klee-dev] Converting KQuery numbers to signed integers

[Dan Liew]

Hi,

On 7 April 2017 at 14:19, Papapanagiotakis-Bousy, Iason
<iason.papapanagiotakis-bousy.15 at ucl.ac.uk> wrote:
> Hello KLEE community,
>
>
>
> I was wondering how would I convert the numbers appearing in KQuery to
> signed integers.
>
> Could you point me to the right direction on how to do that?

Could you be more specific. In what context do you want to do this?

Thanks,
Dan.