diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-06 11:12:41 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-03-15 18:52:07 +0000 |
| commit | 8b5188e4237aa172a9c2b3e3efca9fe7a091cf70 (patch) | |
| tree | ce315907eee30bbdb3f44b9f3e18dc18662dc810 /test | |
| parent | f58a88d204202f5cea366bba63fb982a03c65149 (diff) | |
| download | klee-8b5188e4237aa172a9c2b3e3efca9fe7a091cf70.tar.gz | |
Fix test case for OSX: only weak aliases are supported on darwin
Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin'
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/Alias.c | 9 | ||||
| -rw-r--r-- | test/Feature/LargeReturnTypes.cpp | 3 | ||||
| -rw-r--r-- | test/regression/2016-11-24-bitcast-weak-alias.c | 1 |
3 files changed, 6 insertions, 7 deletions
diff --git a/test/Feature/Alias.c b/test/Feature/Alias.c index 381bcc2a..09abb3e0 100644 --- a/test/Feature/Alias.c +++ b/test/Feature/Alias.c @@ -1,10 +1,9 @@ +// Darwin does not have strong aliases. +// REQUIRES: not-darwin // RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc -// Darwin does not have strong aliases. -// XFAIL: darwin - #include <assert.h> // alias for global @@ -17,10 +16,10 @@ extern int foo() __attribute__((alias("__foo"))); int *c = &a; -int main() { +int main() { assert(a == 52); assert(foo() == 52); assert(*c == 52); - + return 0; } diff --git a/test/Feature/LargeReturnTypes.cpp b/test/Feature/LargeReturnTypes.cpp index 937b0758..84119624 100644 --- a/test/Feature/LargeReturnTypes.cpp +++ b/test/Feature/LargeReturnTypes.cpp @@ -1,3 +1,4 @@ +// REQUIRES: not-darwin // RUN: %llvmgxx -g -fno-exceptions -emit-llvm -O0 -c -o %t.bc %s // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --libc=klee --no-output --exit-on-error %t.bc > %t.log @@ -9,8 +10,6 @@ // This test currently doesn't work on darwin because this isn't how things work // in libc++. This test should be rewritten to not depend on an external // dependency. -// -// XFAIL: darwin #include <fstream> diff --git a/test/regression/2016-11-24-bitcast-weak-alias.c b/test/regression/2016-11-24-bitcast-weak-alias.c index f115731b..3e4ebe64 100644 --- a/test/regression/2016-11-24-bitcast-weak-alias.c +++ b/test/regression/2016-11-24-bitcast-weak-alias.c @@ -1,3 +1,4 @@ +// REQUIRES: not-darwin // RUN: %llvmgcc %s -Wall -emit-llvm -g -O0 -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: klee --output-dir=%t.klee-out -exit-on-error -search=nurs:covnew %t.bc DUMMY_ARG >%t1.log 2>&1 |