[klee-dev] Inline assembly not supported

[Alberto Barbaro]

Hi all,
I was able to compile httpd but unfortunately I cannot really execute it
because the sockets are not really supported. I've seen that also someone
else had the same problem a while ago. In my opinion, this is an important
issue because sockets are everywhere... What's your view on that? Any plan
to fix it?

Thanks
-------------- next part --------------
HTML attachment scrubbed and removed