ccadar/klee — pull request #67 by MartinNowack (2013-11-13 22:10:21+00:00)
Title: Fix using assembler addresses for global variables

Format of assembler address strings are different
with newer LLVM version (They don't have a prefix anymore).

This fix takes care of newer LLVM versions (>=3.3) as well.

Test case is executed again successfully. ;)