[klee-dev] Patches for Python 3 compatibility

[Daniel Liew]

Hi,

Attached are patches for Python3 compatibility. On my system (Arch
Linux) python3 is the default which breaks various things.

1. Updated autoconf script to use python 3 compatible syntax.

On my system configure would fail (hence KLEE could not be built)
because a small python command would fail to execute. The attached
patch fixes that and it should be compatible with python2.7 as well.
I've updated configure.ac and the configure script in the patch, but
feel free to regenerate the configure script yourself.

2. k-test-tool was not compatible with python 3 so I've modified it so
that it works with python3 and python2.7 (without these changes the
Feature/PreferCex test would fail).

I've not tried the other python scripts in KLEE but these two patches
are needed for compilation and for passing tests.

Thanks,
Dan Liew.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Updated-autoconf-script-to-use-python-3-compatible-c.patch
Type: application/octet-stream
Size: 44609 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130727/259867da/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Modifed-ktest-tool-so-that-it-is-compatible-with-Pyt.patch
Type: application/octet-stream
Size: 2878 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130727/259867da/attachment-0001.obj>