diff options
| author | Gerben Oolbekkink <g.j.w.oolbekkink@gmail.com> | 2019-04-05 10:03:32 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-08 11:00:31 +0100 |
| commit | 91e9b418a97af0dd25c868bf5e6392d5e98405c9 (patch) | |
| tree | 44c5b52e363f5117d8035e9cd8842c74a7a2bfd4 /tools/klee-stats | |
| parent | d7598978d09de50a5bf20c91ed5a9429404e9b1c (diff) | |
| download | klee-91e9b418a97af0dd25c868bf5e6392d5e98405c9.tar.gz | |
Add LD_LIBRARY_PATH to docker image
Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked with kleeRuntest are run. The STP line is changed to extend the library path instead of replace it, I am not sure if it can be removed at this moment.
Diffstat (limited to 'tools/klee-stats')
0 files changed, 0 insertions, 0 deletions