[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-dev
Subject:    Re: [klee-dev] Converting KQuery numbers to signed integers
From:       Dan Liew <dan () su-root ! co ! uk>
Date:       2017-04-07 22:55:44
Message-ID: CAJ7DczHOCE5FHiTM2xeUm45WYvUBgU26QVq=m7Whyt4PUCf_OA () mail ! gmail ! com
[Download RAW message or body]

Hi,

On 7 April 2017 at 14:19, Papapanagiotakis-Bousy, Iason
<iason.papapanagiotakis-bousy.15@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.

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
[prev in list] [next in list] [prev in thread] [next in thread]