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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev