diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-10 15:43:09 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-17 16:36:23 +0000 |
| commit | 6eafad4650409223d024a4d0da0a993a02d6e9fd (patch) | |
| tree | 3c7aae0ae14b3341d0b8ab91889f5a3bf0b1d2e3 /runtime | |
| parent | 1f90406ac0cdb8ad04013e163b0fa0be336a36ee (diff) | |
| download | klee-6eafad4650409223d024a4d0da0a993a02d6e9fd.tar.gz | |
Fixed documentation for command line argument link-llvm-lib
Currently, arbitrary *.bc files or archives containing .bc files (.bca or .a) can be linked using `--link-llvm-lib`. Change documentation of command line argument to make this clear. This feature is useful to keep avoid linking the bitcode libraries with the application as bitcode file in the first place. Fix error message in case library could not be loaded
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions