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? Best regards, Jason Papapanagiotakis -------------- next part -------------- HTML attachment scrubbed and removed