We rebuilt KLEE again and now it works with the latest version of STP. KLEE with STP-r940 is still not working but this should be fine now as we have a working version. Thank you all for the suggestions.
If you are interested in our configuration and how we build and run
KLEE, it is detailed below. All the used scripts and patches are
attached.
Machine #1: Ubuntu 13.04 64bit with gcc 4.7.3
Machine #2: Ubuntu 14.04.2 LTS 64bit with gcc 4.8.2
(All installed packages are up-to-date.)
Assumptions:
- All dependencies are installed.
- The following files are placed in the same place with the scripts.
* llvm-2.9.tgz
* llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
* stp-r940.tar.gz
Building Procedure:
$ ./rebuild-llvm-gcc
$ ./rebuild-llvm
$ ./rebuild-stp-r940
$ ./rebuild-stp-git
$ ./rebuild-klee-uclibc
$ ./rebuild-klee-r940
$ ./rebuild-klee-git
On Machine #2, I have to copy all .bca files in
klee-*/Release+Asserts/lib from Machine #1. (I don't know why these
files are missing on Machine #2.)
Executing KLEE: Use either run-klee-r940 or run-klee-git.
On both machines, the error occurs when running run-klee-r940 on the
example. run-klee-git works fine on both machines.
--
Ming-Hsien
llvm-2.9-gcc.patch
Description: Binary data
rebuild-klee-git
Description: Binary data
rebuild-klee-r940
Description: Binary data
rebuild-klee-uclibc
Description: Binary data
rebuild-llvm
Description: Binary data
rebuild-llvm-gcc
Description: Binary data
rebuild-stp-git
Description: Binary data
rebuild-stp-r940
Description: Binary data
run-klee-git
Description: Binary data
run-klee-r940
Description: Binary data
stp-r940-bison3.patch
Description: Binary data
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
