https://bugzilla.redhat.com/show_bug.cgi?id=1981739
Bug ID: 1981739
Summary: Review Request: klee - Symbolic execution engine
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Assignee: nobody(a)fedoraproject.org
Reporter: lzaoral(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-ra...
SRPM URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-ra...
Description: Symbolic virtual machine built on top of the LLVM compiler
infrastructure
Fedora Account System Username: lzaoral
Koji build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=71817839
KLEE is only supported on x86_64. Therefore, it fails to build on 32 bit
architectures. On the other hand, remaining 64 bit architectures compile fine
but the enclosed test suite fails.
Even though I'm not an upstream developer of KLEE, I've contributed some fairly
important improvements such as support for releases of LLVM.
Also, this is my first package so I'm looking for a sponsor.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component