[klee-dev] More modern uClibc?

[Daniel Dunbar]

Has anyone tried using a more modern uClibc with KLEE? I am curious to
know if the x86_64 build on a modern uClibc has fixes for some of the
issues myself and others have seen (on Ubuntu at least).

 - Daniel