diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-11-04 19:22:17 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-11-06 15:48:43 -0500 |
| commit | 4bbcda1a6467863ff6585b09f2b289198a8637dc (patch) | |
| tree | 332ef45da950f8435a06e83c23ebb2edc33c81b3 /test/Concrete | |
| parent | 548e51daca5d53127b1ba5988048a23b8cd6c17b (diff) | |
| download | klee-4bbcda1a6467863ff6585b09f2b289198a8637dc.tar.gz | |
fix: actually set -O0 in test/concrete/CMakeLists.txt
`-O0` has to be used in conjunction with, not instead of `-Xclang -disable-O0-optnone`
Diffstat (limited to 'test/Concrete')
| -rw-r--r-- | test/Concrete/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Concrete/CMakeLists.txt b/test/Concrete/CMakeLists.txt index 7fad17b9..0f565bed 100644 --- a/test/Concrete/CMakeLists.txt +++ b/test/Concrete/CMakeLists.txt @@ -7,7 +7,7 @@ # #===------------------------------------------------------------------------===# if (${LLVM_VERSION_MAJOR} GREATER 4) - set(OZERO_OPT "-Xclang -disable-O0-optnone") + set(OZERO_OPT "-O0 -Xclang -disable-O0-optnone") else() set(OZERO_OPT "-O0") endif() |