diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-10-14 20:05:01 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-10-30 12:22:52 +0000 |
| commit | 96f1a048c4860bca620172ce077201bbc02a6592 (patch) | |
| tree | 33a9d5a208ae89250b432bd05172ba073f2c7c53 /test | |
| parent | 416f7818aedaf7b6bdd478692871cc46aa724f79 (diff) | |
| download | klee-96f1a048c4860bca620172ce077201bbc02a6592.tar.gz | |
Mark the StaticDestructor test as failing on macOS
Diffstat (limited to 'test')
| -rw-r--r-- | test/CXX/StaticDestructor.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/CXX/StaticDestructor.cpp b/test/CXX/StaticDestructor.cpp index 172d9f94..5ff85e04 100644 --- a/test/CXX/StaticDestructor.cpp +++ b/test/CXX/StaticDestructor.cpp @@ -1,3 +1,5 @@ +// XFAIL: darwin + // RUN: %clangxx %s -emit-llvm -g %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee %t1.bc 2> %t1.log |