On Thu, 2016-05-26 at 15:30 -0600, Marko Dimjašević wrote: > For example, these files from the apt package have the same issue:
> So I'd say the problem is quite common. I ran KLEE without making anything symbolic on over 30 Debian source packages and this really is a common problem. Pretty much every package comes with more than one program, and with over half of the programs I run into the issue. -- Regards, Marko Dimjašević <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev