Hi, On 7 April 2017 at 14:19, Papapanagiotakis-Bousy, Iason <[email protected]> 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
