diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-28 16:48:37 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | a0e13d1ba75431266dd22f4ce7ff8036e7449cb0 (patch) | |
| tree | 1452275d4efac6f69c76b5af3ff1a615e9037513 /scripts/build/p-klee.inc | |
| parent | 15240d999f8ec91538ef1c168716efd28e0f12ff (diff) | |
| download | klee-a0e13d1ba75431266dd22f4ce7ff8036e7449cb0.tar.gz | |
Use LLVM 6.0 for now on macOS
C++ static destructors are currently not supported for newer LLVM version. Keep older LLVM version until issue is fixed.
Diffstat (limited to 'scripts/build/p-klee.inc')
0 files changed, 0 insertions, 0 deletions