diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 18:10:54 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | aa9d6e30f6581f8b1a803e1e459a2ef3f3dbb697 (patch) | |
| tree | 8e329d95a6ea6f9a1f54bcf771903ce8eaa120c7 /test/Solver | |
| parent | 48ce6b94f4fe5131242ba87485cd79e081a991ed (diff) | |
| download | klee-aa9d6e30f6581f8b1a803e1e459a2ef3f3dbb697.tar.gz | |
Give absolute paths to KLEE's tools in lit.cfg . This fixes a long
standing FIXME:
Diffstat (limited to 'test/Solver')
0 files changed, 0 insertions, 0 deletions