diff options
| author | Adrian Herrera <adrian.herrera02@gmail.com> | 2017-01-06 22:47:14 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-01-08 09:42:58 +0000 |
| commit | 23e656156e4790a06a295d48932db53f2a582227 (patch) | |
| tree | 92b345b7b8a23496a51642a0fc8a115a90a40717 /tools/klee-stats | |
| parent | ad22e8420fb2f4fa1d98a3753ac844c3dd27d8ce (diff) | |
| download | klee-23e656156e4790a06a295d48932db53f2a582227.tar.gz | |
tests: Added substitution for llvm-ar
Brings llvm-ar into line with llvm-as and lli, removing the assumption that llvm-ar is installed system wide
Diffstat (limited to 'tools/klee-stats')
0 files changed, 0 insertions, 0 deletions