[Bug 263456] [exp-run] update LLVM_DEFAULT to 15

[email protected] Wed, 14 Dec 2022 16:52:41 +0000

Newsgroups	gmane.os.freebsd.devel.x11
Message-ID	<[email protected]/bugzilla/>

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263456

--- Comment #17 from Gleb Popov <[email protected]> ---
KLEE only supports llvm13 as of now.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.