diff options
| author | Gerben Oolbekkink <g.j.w.oolbekkink@gmail.com> | 2019-04-05 10:03:32 +0200 |
|---|---|---|
| committer | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-04-08 12:02:51 +0200 |
| commit | 2a5944f8dcaab5df4528c3f01dc74a8f5f7f5bba (patch) | |
| tree | 4a9f00304b2e6a7ac53fe355ab1d38064cf9557e /tools/ktest-tool | |
| parent | 8fe6c47b1755f463594f7bc0b4e35e1145fa6e52 (diff) | |
| download | klee-2.0.x.tar.gz | |
Add LD_LIBRARY_PATH to docker image 2.0.x
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/ktest-tool')
0 files changed, 0 insertions, 0 deletions