[klee-dev] Running Multifile Applications using Klee

[Daniel Liew]

Your python install is too old (the argparse module was introduced in
python2.7) you need python 2.7 or later. You can find your current
python version by running

$ python --version

I think you said you were using Ubuntu 10.04 in which case the python
version is probably 2.6.5 . Unless you have a good reason to be
running such an old version of python (or Ubuntu for that matter) you
should upgrade.


On 20 September 2013 17:50, Saikat Dutta <saikatdutta.pro2011 at gmail.com> wrote:
> Hi,
> At the "extract-bc gzip" stage following error is produced:
>
> Traceback (most recent call last):
>   File
> "/home/saikat/Downloads/llvm_new/whole-program-llvm-llvm-gcc/extract-bc",
> line 269, in <module>
>     sys.exit(main(sys.argv))
>   File
> "/home/saikat/Downloads/llvm_new/whole-program-llvm-llvm-gcc/extract-bc",
> line 212, in main
>     import argparse
> ImportError: No module named argparse
>
>
>
>
>
>
> On Fri, Sep 20, 2013 at 10:09 PM, Daniel Liew <daniel.liew at imperial.ac.uk>
> wrote:
>>
>> On 20 September 2013 17:15, Saikat Dutta <saikatdutta.pro2011 at gmail.com>
>> wrote:
>> > Hi,
>> > Everything goes fine with wllvm according to the way you described in
>> > the
>> > previous mail. No errors till make step.
>>
>> If you don't tell us what the errors are we will **not** be able to
>> help you. If you see an error tell us what it is.
>>
>> > But instead of "gzip.bc" or
>> > "gzip.o.bc" , ".gzip.o.bc" is being formed.
>>
>> .gzip.o.bc is a LLVM bitcode file that corresponds to the gzip.o
>> object file (this mostly likely corresponds with gzip.c) . It is
>> **not** the finally linked executable. You are only supposed to run
>> extract-bc on the the finally linked executable (or on static
>> libraries) **not** on object files.
>>
>> I just tried this and it works fine. You should run extract-bc on the
>> "gzip" executable.
>>
>> # I assume you have llvm-gcc in your path and it was the pre-built
>> binary llvm-gcc 4.2
>>
>> $ export LLVM_COMPILER=llvm-gcc
>> $ export WLLVM_OUTPUT=WARNING
>> $ export
>> LLVM_COMPILER_PATH=/your/path/to/the/llvm2.9/build/Release+Asserts/bin
>> $ wget http://ftp.gnu.org/gnu/gzip/gzip-1.6.tar.xz
>> $ tar -xvf gzip-1.6.tar.xz
>> $ cd gzip-1.6
>> $ CC=wllvm ./configure
>> $ make -j4
>> $ extract-bc gzip
>>
>> # gzip.bc will now be in the current directory
>>
>> > When I use extract bc on it,
>> > error is generated. Please help.
>> > -Saikat
>>
>> Again... If there is an error message tell us what it is.
>>
>> Hope that helps.
>>
>> Dan.
>
>