diff options
| -rw-r--r-- | test/Feature/TargetMismatch.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/Feature/TargetMismatch.c b/test/Feature/TargetMismatch.c index aae7fda6..e0e896bc 100644 --- a/test/Feature/TargetMismatch.c +++ b/test/Feature/TargetMismatch.c @@ -1,4 +1,3 @@ -// REQUIRES: not-darwin // RUN: %clang %s -m32 -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error > %t2.out 2>&1 || true |