about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--test/Feature/TargetMismatch.c1
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