diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 11:25:54 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 73b90b322bafdb9da22b21cfeeba11a430492037 (patch) | |
| tree | 80edf9c29092c74669e840f013e04c9d3168cda3 /scripts/klee-control | |
| parent | 7cdcef25d7fcb35b5fc96c678d21b410ae342acc (diff) | |
| download | klee-73b90b322bafdb9da22b21cfeeba11a430492037.tar.gz | |
Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linking
These arguments are not required and let the link process fail. Instead, clang(++) should be used as a linker and it will take care of linking with the correct libraries.
Diffstat (limited to 'scripts/klee-control')
0 files changed, 0 insertions, 0 deletions