File 0001-test-disable-until-it-is-fixed.patch of Package klee

From: Jiri Slaby <jslaby@suse.cz>
Date: Thu, 20 May 2021 12:16:09 +0200
Subject: test: disable until it is fixed
Patch-mainline: no
References: LLVM 12

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 .../Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c b/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
index 95b94e41..c274b214 100644
--- a/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
+++ b/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
@@ -1,3 +1,4 @@
+// REQUIRES: lt-llvm-12.0
 // RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out --exit-on-error --optimize --libc=uclibc %t1.bc
-- 
2.26.2