about summary refs log tree commit diff homepage
path: root/test
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2017-06-08 12:12:40 -0300
committerGitHub <noreply@github.com>2017-06-08 12:12:40 -0300
commit8fbbdf6b842365b8b5d63c5fe46f9b53b0886f1c (patch)
tree8fe4127facefbfdda335085cbbf1a70bdac9d6a1 /test
parent1310855836fb7e931371647f4464801c277b0f7c (diff)
parent90219e70dcb3a41a63ccc9d0320df600f1bb0889 (diff)
downloadklee-8fbbdf6b842365b8b5d63c5fe46f9b53b0886f1c.tar.gz
Merge pull request #667 from andreamattavelli/fix_macos_vararg
Removing flaky test Vararg.c from Darwin build until we find a proper…
Diffstat (limited to 'test')
-rw-r--r--test/Feature/Vararg.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Feature/Vararg.c b/test/Feature/Vararg.c
index 82fbe4f1..a78b784e 100644
--- a/test/Feature/Vararg.c
+++ b/test/Feature/Vararg.c
@@ -1,3 +1,4 @@
+// REQUIRES: not-darwin
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out %t1.bc > %t2.out