File 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch of Package klee

Overview Repositories Revisions Requests Users Attributes Meta

File 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch of Package klee (Revision c99a751bb7474dbd4c402d8d8ec9b813)

Currently displaying revision c99a751bb7474dbd4c402d8d8ec9b813 , Show latest

From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Zaoral?= <lzaoral@redhat.com>
Date: Sat, 5 Mar 2022 13:44:24 +0100
Subject: llvm14: Add LLVM 14 to lit.cfg
Git-repo: https://github.com/lzaoral/klee#llvm14
Git-commit: 87b74ea337994d2a564bd583004ef4ae3d0bd2ce
Patch-mainline: no
References: llvm 14

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 test/lit.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/lit.cfg b/test/lit.cfg
index 4d7382cf..c935ab8e 100644
--- a/test/lit.cfg
+++ b/test/lit.cfg
@@ -161,7 +161,7 @@ config.substitutions.append(
 
 # Add feature for the LLVM version in use, so it can be tested in REQUIRES and
 # XFAIL checks. We also add "not-XXX" variants, for the same reason.
-known_llvm_versions = { "9.0", "10.0", "11.0", "11.1", "12.0", "13.0" }
+known_llvm_versions = { "9.0", "10.0", "11.0", "11.1", "12.0", "13.0", "14.0" }
 current_llvm_version_tuple = (int(config.llvm_version_major), int(config.llvm_version_minor))
 current_llvm_version = "%s.%s" % current_llvm_version_tuple
 
-- 
2.35.3

Places

File 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch of Package klee (Revision c99a751bb7474dbd4c402d8d8ec9b813)

Places