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/Feature/CopyOnWrite.c | |
| 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/Feature/CopyOnWrite.c')
0 files changed, 0 insertions, 0 deletions