Hi All, I am a newbie for klee. I wonder which file interprets division related operations symbolically, like "UDIV" or "SDIV".
Thanks for your help. Best, Jiangfan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100402/a0be7166/attachment.html
