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: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Target Milestone: ---
Classification: Fedora
Spec URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-rawhide-x86_64/02326979-klee/klee.spec
SRPM URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-rawhide-x86_64/02326979-klee/klee-2.2-1.fc35.src.rpm
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
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]
Do not reply to spam on the list, report it:
https://pagure.io/fedora-infrastructure
