[Bug 2036745] Re: FTBFS cbmc 5.89.0-2

[Launchpad Bug Tracker]

This bug was fixed in the package lto-disabled-list - 48

---------------
lto-disabled-list (48) oracular; urgency=medium

  * Change cbmc to arch any (LP: #2036745)

 -- Graham Inggs <ginggs at ubuntu.com>  Fri, 03 May 2024 11:59:46 +0000

** Changed in: lto-disabled-list (Ubuntu)
       Status: Fix Committed => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to lto-disabled-list in Ubuntu.
https://bugs.launchpad.net/bugs/2036745

Title:
  FTBFS cbmc 5.89.0-2

Status in cbmc package in Ubuntu:
  Fix Released
Status in lto-disabled-list package in Ubuntu:
  Fix Released

Bug description:
  Building on some architechtures (e.g. arm64) fails during checks as shown at the end of the buildlog
  https://launchpadlibrarian.net/683935172/buildlog_ubuntu-mantic-arm64.cbmc_5.89.0-2_BUILDING.txt.gz .

  Upstream issue opened:

  https://github.com/diffblue/cbmc/issues/7908

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cbmc/+bug/2036745/+subscriptions