Bug 1989412
| Summary: | klee targets x86_64 exclusively | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Lukáš Zaoral <lzaoral> |
| Component: | klee | Assignee: | Lukáš Zaoral <lzaoral> |
| Status: | CLOSED WONTFIX | QA Contact: | |
| Severity: | unspecified | Docs Contact: | |
| Priority: | unspecified | ||
| Version: | rawhide | CC: | lzaoral, michel |
| Target Milestone: | --- | Keywords: | FutureFeature |
| Target Release: | --- | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Whiteboard: | |||
| Fixed In Version: | Doc Type: | If docs needed, set a value | |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: |
If this bug requires documentation, please select an appropriate Doc Type value.
|
|
| Last Closed: | 2023-01-24 08:24:35 UTC | Type: | Bug |
| Regression: | --- | Mount Type: | --- |
| Documentation: | --- | CRM: | |
| Verified Versions: | Category: | --- | |
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
| Cloudforms Team: | --- | Target Upstream Version: | |
| Embargoed: | |||
| Bug Depends On: | |||
| Bug Blocks: | 485231, 485251, 1071880, 179258 | ||
|
Description
Lukáš Zaoral
2021-08-03 07:36:17 UTC
This bug appears to have been reported against 'rawhide' during the Fedora 35 development cycle. Changing version to 35. KLEE now targets x86_64 exclusively. Per https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/4OMGU5X2W4IHXSEYYJDLRGZRVSE5KDAV/ the aarch64 tracker should not be used anymore (packaging guidelines is being updated) The package was retired in rawhide. |