Remove unnecessary loop from SolverTest unit test.
Handle constant arrays as well
Silence compiler warning about unused variable
Disable redefinition of functions
Fix test case to use llvm-link instead of llvm-ld
Silence warning of deprecated PathV1 usage
Link against shared library from LLVM correctly

Searching for the LLVM library was conducted in the Klee project.
This patch searches in the LLVM build directory.
Fix constness warnings issued by gcc 4.7
Fixed warning about unused variable
Merge pull request #13 from MartinNowack/FeatureConstantArrays

Patch Set IV - Handle constant arrays as well
Merge pull request #22 from antiAgainst/master

Add .gitignore
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
Use new PathV2 interface for LLVM 2.9 and higher

Enable PathV2 interface starting from LLVM 2.9 and do some minor include
cleanup.
Fix compiling issues with llvm 2.9

Interface for ParseCommandLineOptions changed with LLVM 3.2
preserving constness for pointer to arguments.
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
Revert "Use new PathV2 interface for LLVM 2.9 and higher"

This reverts commit 5c059018c02a7c7db252a3cb636a39c89c430a06.
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
Merge pull request #20 from delcypher/remove_pointless_loop

Remove unnecessary loop from SolverTest unit test.