diff options
| author | Alastair Reid <adreid@google.com> | 2020-06-16 14:14:36 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-08-07 19:28:30 +0100 |
| commit | f20d52a3b4bef1de7b9b15b793918d9437ba27b4 (patch) | |
| tree | 814eb4850f8381812132f7d20031128d1756312a /lib/Solver/IndependentSolver.cpp | |
| parent | 07148eeb5ea4d1c6c51e6aa5a666811ef9f50b90 (diff) | |
| download | klee-f20d52a3b4bef1de7b9b15b793918d9437ba27b4.tar.gz | |
Tweak LLVM version string parser: support rust
This change allows KLEE to be configured to use the LLVM version
that comes with the Rust compiler instead of a standard version.
e.g., one might configure with
-DLLVM_CONFIG_BINARY=${RUST_SRC}/build/x86_64-unknown-linux-gnu/llvm/bin/llvm-config
For which typical output might be
10.0.1-rust-dev
Diffstat (limited to 'lib/Solver/IndependentSolver.cpp')
0 files changed, 0 insertions, 0 deletions