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@xxxxxxxxxxxxxxxxx Reporter: lzaoral@xxxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx 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 -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/package-review@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
