From 7679d0b5da6d7fd3e17d7cc66392b1df97694c75 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 16 Feb 2024 22:14:05 +0000 Subject: Remove the not Darwin requirement for the test TargetMismatch.c --- test/Feature/TargetMismatch.c | 1 - 1 file changed, 1 deletion(-) 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 -- cgit 1.4.1